(* initialization info for the ocm make utility *)

Dirs:
"/home/rai/ruml/library/code/ocaml-dev/*"
"/home/rai/ruml/projects/*/src"
"/home/rai/ruml/projects/tipp/manuplan/mup_tools_utils"
"/home/rai/ruml/projects/path/*/src"
"/home/rai/ruml/projects/csp/*/src"
"/home/rai/ruml/projects/co/*/src"


(* EOF *)