]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_content/termAcicContent.mli
handles bad Appl
[helm.git] / helm / software / components / acic_content / termAcicContent.mli
2008-11-28 Enrico Tassinew disambiguator almost attached
2008-09-26 Enrico Tassiinclude statement better implemented:
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-10-28 Claudio Sacerdoti... Pretty-printing of "match ... with" pattern syntax...
2006-07-10 Enrico Tassiimproved coercions support:
2006-02-21 Claudio Sacerdoti... Coercions are now hidden by default (in termAcicContent.ml)
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/