]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/isterix
Requires and Provides now fixed
[helm.git] / 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