# HG changeset patch
# User quigley
# Date 1116943972 -7200
# Node ID 8665446944cea7bf17ed24e8d0209f6de14782c8
# Parent  7953879aa6cf6eae9ff021063a6c187f17bad238
Generic version of spassshell.  Add SPASS_HOME to .bashrc so that shell script can find it.

diff -r 7953879aa6cf -r 8665446944ce src/HOL/Tools/ATP/spassshell
--- 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