s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
3734 Commits
5 Branches
0 Tags
31 MiB
Branch: automata-finite
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'automata-finite'
${ noResults }
Commit Graph

6 Commits (automata-finite)

Author SHA1 Message Date
Dave Parker ddeaef392e Exeutable bit on.
12 years ago
Vojtech Forejt 561bcf9c6d Added switches -noprob0 and -noprob1 to the bash completion script
15 years ago
Vojtech Forejt 879eac6d76 bash completion for property names
15 years ago
Vojtech Forejt 496ae010fc fixed a bug in bash completion (syntax error if last word contained a space)
15 years ago
Vojtech Forejt 0f52647368 changed bash completion script so that it does not print full paths when completing file names
15 years ago
Vojtech Forejt bccfecbefa First version of Bash programmable completion script for PRISM
15 years ago