| author | quigley |
| Wed, 25 May 2005 01:47:11 +0200 | |
| changeset 16066 | c2257f8a73bb |
| parent 16065 | 8665446944ce |
| child 16089 | 9169bdf930f8 |
| permissions | -rwxr-xr-x |
|
16048
25cb0fe2e1c6
spassshell and testout.py are used to filter the proof part out of SPASS's
quigley
parents:
diff
changeset
|
1 |
|
|
16066
c2257f8a73bb
Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
quigley
parents:
16065
diff
changeset
|
2 |
|
|
c2257f8a73bb
Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
quigley
parents:
16065
diff
changeset
|
3 |
`isatool getenv -b SPASS_HOME` $* |testoutput.py |
|
c2257f8a73bb
Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
quigley
parents:
16065
diff
changeset
|
4 |
#$SPASS_HOME $* |testoutput.py |