From 281afdfcdd0b20a300e1607a0a38a9a621c2ee41 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 16 Nov 2000 12:59:02 +0000 Subject: [PATCH] .cvsignore improved --- helm/interface/.cvsignore | 2 ++ helm/interface/cadet | 9 +++++---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore index 592a929b9..3a68425a2 100644 --- a/helm/interface/.cvsignore +++ b/helm/interface/.cvsignore @@ -11,3 +11,5 @@ mmlinterface.opt reduction reduction.opt t1lib.log +output.ps +output2.ps diff --git a/helm/interface/cadet b/helm/interface/cadet index 40c3882ec..fc24779f0 100755 --- a/helm/interface/cadet +++ b/helm/interface/cadet @@ -4,6 +4,7 @@ export PATH=~/HELM/installation/jdk118/bin:$PATH #export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_1/xalan.jar:/home/cadet/sacerdot/xalan-j_1_1/xerces.jar:. export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/xalan-j_1_2/xerces.jar:. +#export CLASSPATH=~/HELM/installation/xalan-j_1_2_1/xalan.jar:~/HELM/installation/xalan-j_1_2_1/xerces.jar:. #export CLASSPATH=/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xalan.jar:/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xerces.jar:. #export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xalan.jar @@ -14,11 +15,11 @@ export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/x 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 COQV=V6.2 +export HELM_CONFIGURATION_PREFIX=~/HELM/installation +export COQV=V6.2 -export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot -export COQV=V7 +#export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot +#export COQV=V7 export T1LIB_CONFIG=./t1.config -- 2.39.2