]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter/sample.conf.xml
removed a comment/bug report about let..in rendering, now fixed
[helm.git] / helm / ocaml / getter / sample.conf.xml
2005-09-06 Stefano Zacchiroliupdated
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix...
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps