]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite_parser/test_parser.ml
parameter sintax added to axiom statement
[helm.git] / helm / software / components / grafite_parser / test_parser.ml
2009-06-18 Claudio Sacerdoti... 1) grafiteWalker removed
2009-06-03 Claudio Sacerdoti... Huge commit with several changes:
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-02-09 Ferruccio Guidiadded option -dump to matitac for persistent macro...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/