]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matita.ml
components/library: dotdothack removed
[helm.git] / helm / software / matita / matita.ml
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-12-04 Claudio Sacerdoti... Added debugging option to ask for all disambiguation...
2007-08-30 Claudio Sacerdoti... Coercions are now generalized to the general form
2007-07-19 Claudio Sacerdoti... map_unicode_to_tex is no longer optional and it always...
2007-05-17 Enrico Tassiadded a (for the moment) dummy field _subst to Proofeng...
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function.
2007-02-09 Stefano Zacchiroli- moved to the view menu toggles for coercion hiding...
2007-02-09 Stefano Zacchirolimoved the high level pretty printing setting to a toggl...
2007-02-08 Claudio Sacerdoti... Important commit:
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-10 Ferruccio Guidiattributes now in the proof status: commit 1
2006-12-12 Ferruccio Guidiwe started the infrastructure for the procedural render...
2006-11-25 Enrico Tassiadded a test for the pullback stuff and the possibility...
2006-09-27 Claudio Sacerdoti... Initial work on setoids:
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-19 Claudio Sacerdoti... Ctr-C now cleans up (with a nice warning :-)
2006-07-10 Enrico Tassi- cheanges for the new coercion stuff (including the...
2006-06-21 Enrico Tassiadded the geniric
2006-05-25 Claudio Sacerdoti... Added debug menu item to restrict disambiguation to...
2006-03-07 Stefano Zacchiroli- added an hack to load sequents viewer's mathml from...
2006-02-21 Claudio Sacerdoti... Coercions are now hidden by default (in termAcicContent.ml)
2006-02-17 Enrico TassiSys.command -> Unix.system
2006-02-15 Enrico Tassiadded support for "polymorphic" coercions
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/