# 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