]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/rootcontent.xsl
crosso compatibility patch which enable building both with ocaml 3.08 and 3.09
[helm.git] / helm / gTopLevel / rootcontent.xsl
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???)
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change...