helm/interface/isterix

   1 #! /bin/sh
   2
   3 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
   4
   5 #V6.2
   6 #export HELM_CONFIGURATION_PREFIX=~/HELM/installation
   7
   8 # Per (my)Coq 6.3.0
   9 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH
  10 export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH
  11
  12 #export T1LIB_CONFIG=./t1.config
  13
  14 # Stix font
  15 #xset fp
  16 #xset fp+ ~/HELM/installation/fonts/
  17 #xset fp rehash