From baffca1ac75af466a7b5cf2c1513a0f1ec4a8000 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 8 Nov 2000 09:23:29 +0000 Subject: [PATCH] isterix updated --- helm/interface/isterix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2