Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2005-04-11 | Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. | tv | 1 | -2/+1 |
2005-02-23 | Add RMD160 digests. | agc | 1 | -1/+2 |
2004-02-29 | Initial import of ltsa (Labelled Transition System Analyser), version 2.2: | jmmv | 4 | -0/+242 |