X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fcadet;h=0c3768055f1ddc4b3753a1032b61085cc4ad0e47;hb=827217f7d82afca44f31615c2ed3a99ac48496c2;hp=5a63f2d013c8b82822f0b328f4fe19ccc86657ed;hpb=2ef402e7db40b6167e70bc94e7e79ddbe75081b4;p=helm.git

diff --git a/helm/interface/cadet b/helm/interface/cadet
index 5a63f2d01..0c3768055 100755
--- a/helm/interface/cadet
+++ b/helm/interface/cadet
@@ -10,6 +10,8 @@ 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 LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
 
 export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
+
+export T1LIB_CONFIG=./t1.config