]> matita.cs.unibo.it Git - helm.git/blob - matitaB/components/getter/.ocamlinit
Matitaweb: Added jquery.js (also used in some of the previous releases).
[helm.git] / matitaB / components / getter / .ocamlinit
1 #use "topfind";;
2 #require "helm-getter";;
3 Helm_registry.load_from "sample.conf.xml";;