#!/bin/bash

#/projects/helm/galax/sources/natile-galax-0.1-alpha-installed/lib:
export OCAMLPATH=/home/sacerdot/miohelm/helm/ocaml/METAS