]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/registry/.ocamlinit
tex macros, checked in disambiguation section from whelp paper
[helm.git] / helm / ocaml / registry / .ocamlinit
1 #use "topfind";;
2 #require "helm-registry";;
3 open Helm_registry;;
4 load_from "sample.xml";;