export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
# WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
-export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export COQV=V6.2
+
+export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
+export COQV=V7
export T1LIB_CONFIG=./t1.config