summaryrefslogtreecommitdiff
path: root/devel/ltsa/Makefile
AgeCommit message (Expand)AuthorFilesLines
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2004-02-29Initial import of ltsa (Labelled Transition System Analyser), version 2.2:jmmv1-0/+38