]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/cadet
Upgraded to mml-widget version 0.2.1
[helm.git] / helm / interface / cadet
index 7df42fecdac359a032622f1e44afa44d4b6de612..c9762da761572d8e497cdc7527d741c9352a0f7d 100755 (executable)
@@ -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