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
   7 # Per (my)Coq 6.3.0
   8 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH
   9 export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH
  10
  11 #export T1LIB_CONFIG=./t1.config
  12
  13 # Stix font
  14 #xset fp
  15 #xset fp+ ~/HELM/installation/fonts/
  16 #xset fp rehash