helm/gTopLevel/script.sh

   1 export OCAMLPATH="/home/zack/dati/HELM/galax:/home/zack/dati/HELM/cvs/helm/ocaml/METAS:/home/zack/dati/HELM/cvs/helm:/home/zack/helm/hbugs/meta"
   2
   3 export HELM_ANNOTATIONS_DIR=/home/zack/miohelm/objects
   4 export HELM_ANNOTATIONS_URL=file:///home/zack/miohelm/objects
   5 export HELM_GETTER_URL=http://localhost:58081/
   6 export HELM_PROCESSOR_URL=http://localhost:58080/
   7
   8 export GTOPLEVEL_PROOFFILE=/public/helm_library/currentproof
   9 export GTOPLEVEL_PROOFFILETYPE=/public/helm_library/currentprooftype
  10 export GTOPLEVEL_INNERTYPESFILE=/public/helm_library/innertypes
  11 export GTOPLEVEL_CONSTANTTYPEFILE=/public/helm_library/constanttype
  12 export GTOPLEVEL_ENVIRONMENTFILE=/public/helm_library/environment
  13 export MATHQL_DB_MAP=/home/zack/helm/mathql_db_map.txt
  14
  15 export HELM_TMP_DIR=/tmp
  16 unset http_proxy