]> matita.cs.unibo.it Git - helm.git/history - matita/matitac.ml
LexiconAstPp: fixed syntax for include
[helm.git] / matita / matitac.ml
2007-02-12 Ferruccio GuidiLexiconAstPp: fixed syntax for include
2007-02-09 Ferruccio Guidiadded option -dump to matitac for persistent macro...
2007-01-20 Claudio Sacerdoti... Just a few lines test to understand with Cezary Kalinsk...
2006-07-24 Enrico Tassiadded timeout parameter to auto paramodulation.
2006-07-22 Enrico Tassimatitaprover
2006-02-23 Stefano Zacchiroliadded "gragrep", grep-like tool over a bunch of grafite...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/