From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 17:46:04 +0000 (+0000)
Subject: Minor modification
X-Git-Tag: nogzip~219
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fd71957165d9d815b4ebeb1cd387262ac272945e;p=helm.git

Minor modification
---

diff --git a/helm/interface/cadet b/helm/interface/cadet
index f674925b3..5a63f2d01 100755
--- a/helm/interface/cadet
+++ b/helm/interface/cadet
@@ -11,3 +11,5 @@ export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_2/xalan.jar:/home/cadet/sacerdot
 # 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 HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot