# HG changeset patch
# User quigley
# Date 1116978431 -7200
# Node ID c2257f8a73bb5ec770b598ef3a749e8bfab08886
# Parent  8665446944cea7bf17ed24e8d0209f6de14782c8
Removed shell variables.  Now uses isatool getenv -b SPASS_HOME.

diff -r 8665446944ce -r c2257f8a73bb src/HOL/Tools/ATP/spassshell
--- a/src/HOL/Tools/ATP/spassshell	Tue May 24 16:12:52 2005 +0200
+++ b/src/HOL/Tools/ATP/spassshell	Wed May 25 01:47:11 2005 +0200
@@ -1,2 +1,4 @@
 
-$SPASS_HOME $* |testoutput.py
+
+`isatool getenv -b SPASS_HOME`  $* |testoutput.py
+#$SPASS_HOME  $* |testoutput.py