X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fcadet;h=c9762da761572d8e497cdc7527d741c9352a0f7d;hb=658b654a8986b504936499ba6719999612806345;hp=7df42fecdac359a032622f1e44afa44d4b6de612;hpb=dc5e3fb57fb6cc1985873f0126099a5fbb0b6e66;p=helm.git

diff --git a/helm/interface/cadet b/helm/interface/cadet
index 7df42fecd..c9762da76 100755
--- a/helm/interface/cadet
+++ b/helm/interface/cadet
@@ -6,10 +6,10 @@ export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
 
 #V6.2
-export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
 
 #V7
-#export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
+export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
 
 export T1LIB_CONFIG=./t1.config