Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

autoprover shortcuts don't work anymore #106

Closed
meiersi opened this issue Aug 5, 2012 · 1 comment
Closed

autoprover shortcuts don't work anymore #106

meiersi opened this issue Aug 5, 2012 · 1 comment
Labels
critical gui
Milestone
0.8.1.0

Comments

@meiersi
Copy link
Member

meiersi commented Aug 5, 2012

Noticed in 6c1f10a. This must be fixed before the release of 0.8.1.0.
@meiersi
Copy link
Member Author

meiersi commented Aug 6, 2012

Fixed in 85a8a1d. @beschmi the syntax for fixing an issue from the commit message is fix #106: text text text; i.e., you just forgot the hash symbol in front of the issue number. Note that you can also just reference the issue by including #106 in your commit message. I use this for example, if I have a partial fix for an issue that I want to commit already.

@meiersi meiersi closed this as completed Aug 6, 2012
beschmi added a commit that referenced this issue Aug 6, 2012
@beschmi
fix #106: I missed some link-rewriting in the
3f3cdc4 
last commit, now only "del/path" performs
rewriting
cascremers pushed a commit to cascremers/tamarin-prover that referenced this issue Feb 26, 2024
@jdreier
Merge pull request tamarin-prover#106 from sans-sucre/issue535-type-doc
81763e2 
Issue535 type doc
cascremers pushed a commit to cascremers/tamarin-prover that referenced this issue May 15, 2024
@jdreier
Merge pull request tamarin-prover#106 from sans-sucre/issue535-type-doc
bcd6353 
Issue535 type doc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
critical gui
Projects
None yet
Milestone
0.8.1.0
Development

No branches or pull requests
1 participant
@meiersi