Overview
Comment: | Removed mtt help - replaced by grep #SUMMARY - quicker |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
f8c1c6ae1baf41b9009156b5ef5b362a |
User & Date: | gawthrop@users.sourceforge.net on 1999-03-08 06:34:07 |
Other Links: | branch diff | manifest | tags |
Context
1999-03-08
| ||
21:24:43 |
Handles * representations:
rep* is specialcheck-in: 9cb40d6495 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
06:34:07 | Removed mtt help - replaced by grep #SUMMARY - quicker check-in: f8c1c6ae1b user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
03:51:12 | Version 3.5 for Linux Red Hat 5.2 (Newcastle) check-in: 5a8a6af074 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/trans/mtt2reps_txt from [62d6cafcc3] to [38640294d2].
1 2 3 4 5 6 7 8 9 10 11 12 13 14 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | + + + - - + + - + | #! /bin/sh # mtt2reps_txt: Gives a tabular listing of representations and languages # P J Gawthrop July 1998, October 1998 # Copyright (c) P.J.Gawthrop, 1998 ############################################################### ## Version control history ############################################################### ## $Id$ ## $Log$ ## Revision 1.1 1998/10/20 08:15:08 peterg ## Initial revision ## ############################################################### |
︙ |