]> matita.cs.unibo.it Git - helm.git/history - helm/matita/tests/interactive
ocaml 3.09 transition
[helm.git] / helm / matita / tests / interactive /
2005-07-28 Claudio Sacerdoti... This test stresses automatic insertion.
2005-07-13 Enrico Tassimatitamake stuff:
2005-06-29 Enrico Tassinow baseuri is needed in each file (and its redefinitio...
2005-06-28 Enrico Tassifix
2005-06-15 Claudio Sacerdoti... * parsing errors in tests were not detected and the...
2005-06-13 Enrico Tassirenamed
2005-06-13 Enrico Tassiadded syntax hilight for temperino
2005-06-09 Claudio Sacerdoti... test_instance.ma moved to interactive/ (whose tests...