changes for #42 #43

Merged
merged 5 commits into from May 20, 2015

Conversation

Projects
None yet
3 participants
@adl
Owner

adl commented May 20, 2015

Waiting on Joachim's opinion.

@xblahoud

This comment has been minimized.

Show comment
Hide comment
@xblahoud

xblahoud May 20, 2015

Collaborator

I used generalized-Streett in my diploma thesis, but I never implemented it and never published it elsewhere. So I'm OK with this.

Collaborator

xblahoud commented on 9749b72 May 20, 2015

I used generalized-Streett in my diploma thesis, but I never implemented it and never published it elsewhere. So I'm OK with this.

This comment has been minimized.

Show comment
Hide comment
@adl

adl May 20, 2015

Owner

I was actually refering to the document: there is no definition of generalized-Streett in this document, and the example above was actually about Streett, so I think this use was a simple typo.

Owner

adl replied May 20, 2015

I was actually refering to the document: there is no definition of generalized-Streett in this document, and the example above was actually about Streett, so I think this use was a simple typo.

kleinj added a commit that referenced this pull request May 20, 2015

@kleinj kleinj merged commit 25c33af into master May 20, 2015

@adl adl deleted the adl/42 branch May 20, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment