Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
0392058e6e26c7ef55bfd0513c57616670494f88
Switch branch/tag
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbatest/ltl2tgba.cc (syntax): Regroup -M, -s, and -S option
· 0392058e
Alexandre Duret-Lutz
authored
Nov 26, 2010
under the same heading "automaton conversion".
0392058e
To find the state of this project's repository at the time of any of these versions, check out
the tags
.
Replace ChangeLog
×
Attach a file by drag & drop or
click to upload
Commit message
Replace ChangeLog
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.