]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/PER_FARLO_ANDARE_TCSH
This commit was manufactured by cvs2svn to create branch 'helm'.
[helm.git] / helm / interface / PER_FARLO_ANDARE_TCSH
diff --git a/helm/interface/PER_FARLO_ANDARE_TCSH b/helm/interface/PER_FARLO_ANDARE_TCSH
deleted file mode 100644 (file)
index b527fab..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-setenv PATH "/home/projects/java/jdk1.2.2/bin:$PATH"
-setenv CLASSPATH "/really_very_local/helm/java/xalan_1_1/xalan.jar:/really_very_local/helm/java/xalan_1_1/xerces.jar:."
-setenv CLASSPATH "/really_very_local/helm/java/saxon-5.3.2/saxon.jar:$CLASSPATH"
-setenv LD_LIBRARY_PATH ".:/really_very_local/helm/proveluca/mml-browser/"