Overview
Comment: | Changes to state rep - now has parameter |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | origin/master | trunk |
Files: | files | file ages | folders |
SHA3-256: |
655e55a966defb9b4adc43c396f38537 |
User & Date: | gawthrop@users.sourceforge.net on 2000-05-19 17:50:10 |
Other Links: | branch diff | manifest | tags |
Context
2000-05-19
| ||
17:52:09 | Initial revision check-in: 475047faae user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
17:50:10 | Changes to state rep - now has parameter check-in: 655e55a966 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
17:48:16 | Argument to state check-in: e1647a4805 user: gawthrop@users.sourceforge.net tags: origin/master, trunk | |
Changes
Modified mttroot/mtt/bin/mtt from [6b77411601] to [29590247bb].
︙ | ︙ | |||
11 12 13 14 15 16 17 18 19 20 21 22 23 24 | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Header$ ## $Log$ ## Revision 1.243 2000/05/19 11:36:36 peterg ## Added logic rep. ## ## Revision 1.242 2000/05/18 20:12:02 peterg ## Version 4.2 ## ## Revision 1.241 2000/05/16 11:42:14 peterg | > > > | 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | # Copyright (C) 2000 by Peter J. Gawthrop ############################################################### ## Version control history ############################################################### ## $Header$ ## $Log$ ## Revision 1.244 2000/05/19 14:19:46 peterg ## Added library path for representations ## ## Revision 1.243 2000/05/19 11:36:36 peterg ## Added logic rep. ## ## Revision 1.242 2000/05/18 20:12:02 peterg ## Version 4.2 ## ## Revision 1.241 2000/05/16 11:42:14 peterg |
︙ | ︙ | |||
1480 1481 1482 1483 1484 1485 1486 | else filename=$1_$2.$3 fi if [ -f "$filename" ]; then echo $filename exists else | > | > | | 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 | else filename=$1_$2.$3 fi if [ -f "$filename" ]; then echo $filename exists else if [ -n "$Verbose" ]; then echo make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$4" fi make -s -f $2_rep.make "SYS=$1" "LANG=$3" "ARG=$" if [ -n "$4" ]; then echo Copying $1_$2$__ARGS.ps cp $1_$2$__ARGS.ps .. fi fi exit fi |
︙ | ︙ |