matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matita.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matita.ml

2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	blob \| commitdiff \| raw
2006-07-19	Claudio Sacerdoti...	Ctr-C now cleans up (with a nice warning :-)	blob \| commitdiff \| raw \| diff to current
2006-07-10	Enrico Tassi	- cheanges for the new coercion stuff (including the...	blob \| commitdiff \| raw \| diff to current
2006-06-21	Enrico Tassi	added the geniric	blob \| commitdiff \| raw \| diff to current
2006-05-25	Claudio Sacerdoti...	Added debug menu item to restrict disambiguation to...	blob \| commitdiff \| raw \| diff to current
2006-03-07	Stefano Zacchiroli	- added an hack to load sequents viewer's mathml from...	blob \| commitdiff \| raw \| diff to current
2006-02-21	Claudio Sacerdoti...	Coercions are now hidden by default (in termAcicContent.ml)	blob \| commitdiff \| raw \| diff to current
2006-02-17	Enrico Tassi	Sys.command -> Unix.system	blob \| commitdiff \| raw \| diff to current
2006-02-15	Enrico Tassi	added support for "polymorphic" coercions	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.