Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
authorquigley
Tue, 24 May 2005 16:12:52 +0200
changeset 16065 8665446944ce
parent 16064 7953879aa6cf
child 16066 c2257f8a73bb
Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
src/HOL/Tools/ATP/spassshell file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/spassshell	Tue May 24 14:28:59 2005 +0200
+++ b/src/HOL/Tools/ATP/spassshell	Tue May 24 16:12:52 2005 +0200
@@ -1,5 +1,2 @@
-#/homes/clq20/bin/SPASS -DocProof /homes/clq20/prob_1.dfg |/homes/clq20/testoutput.py
 
-/homes/clq20/bin/SPASS $* |/homes/clq20/IsabelleCVS/isabelle/HOL/Tools/ATP/testoutput.py
-
-#pwd
+$SPASS_HOME $* |testoutput.py
isabelle