Overview
Comment: | Initial revision |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
80f79ad08bfa5194cec6e86f825cb2e4 |
User & Date: | gawthrop@users.sourceforge.net on 2000-10-11 09:08:20 |
Other Links: | branch diff | manifest | tags |
Context
2000-10-12
| ||
09:17:24 | Makde global - ie allow for right-hand side terms check-in: 644f6421a6 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
2000-10-11
| ||
09:08:20 | Initial revision check-in: 80f79ad08b user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
09:08:08 | cse --> csex check-in: 2ad205431b user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Added mttroot/mtt/bin/trans/sympar_txt2declare version [cca8092d6c].
|