]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitac.ml
Another bug.
[helm.git] / helm / software / matita / matitac.ml
2008-07-02 Enrico Tassireturn 1 in case of failure
2008-01-21 Claudio Sacerdoti... Matitac now accepts multiple targets :-) (but only...
2008-01-11 Enrico Tassiadded Sys.catch_break true
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-07-25 Ferruccio Guidimatitac: We do not generate the .moo and .lexicon of...
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-04-26 Ferruccio Guidiprocedural: bug fixes
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/