X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fisterix;h=a7d6c4d3e4ce87ecd7c928321b0716e66c8437e5;hb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;hp=17ddfc9d708b5f7b68724a166f083930a92298a0;hpb=dc5e3fb57fb6cc1985873f0126099a5fbb0b6e66;p=helm.git

diff --git a/helm/interface/isterix b/helm/interface/isterix
index 17ddfc9d7..a7d6c4d3e 100755
--- a/helm/interface/isterix
+++ b/helm/interface/isterix
@@ -3,7 +3,6 @@
 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
 
 #V6.2
-#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
 
 # Per (my)Coq 6.3.0
 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH