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].