summaryrefslogtreecommitdiff
path: root/devel/ltsa
AgeCommit message (Expand)AuthorFilesLines
2004-02-29Initial import of ltsa (Labelled Transition System Analyser), version 2.2:jmmv4-0/+242