]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/script.sh.sample
Unsharing finally introduced (but just for object processing, not yet for terms
[helm.git] / helm / gTopLevel / script.sh.sample
1 #!/bin/bash
2
3 #/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:
4 export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS