From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Nov 2000 09:23:29 +0000 (+0000)
Subject: isterix updated
X-Git-Tag: nogzip~202
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=baffca1ac75af466a7b5cf2c1513a0f1ec4a8000;p=helm.git

isterix updated
---

diff --git a/helm/interface/isterix b/helm/interface/isterix
index a1f696a3b..61392b01c 100755
--- a/helm/interface/isterix
+++ b/helm/interface/isterix
@@ -9,4 +9,4 @@ export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/saxon-5.3.2/saxon.jar
 
 # Per (my)Coq 6.3.0
 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH
-export LD_LIBRARY_PATH=/usr/local/lib/gtkmathview:$LD_LIBRARY_PATH
+export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH