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

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

2007-08-30	Claudio Sacerdoti...	Coercions are now generalized to the general form	blob \| commitdiff \| raw
2007-07-19	Claudio Sacerdoti...	map_unicode_to_tex is no longer optional and it always...	blob \| commitdiff \| raw \| diff to current
2007-05-17	Enrico Tassi	added a (for the moment) dummy field _subst to Proofeng...	blob \| commitdiff \| raw \| diff to current
2007-05-17	Enrico Tassi	auto rewritten with only one tail recursive function.	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	- moved to the view menu toggles for coercion hiding...	blob \| commitdiff \| raw \| diff to current
2007-02-09	Stefano Zacchiroli	moved the high level pretty printing setting to a toggl...	blob \| commitdiff \| raw \| diff to current
2007-02-08	Claudio Sacerdoti...	Important commit:	blob \| commitdiff \| raw \| diff to current
2007-02-06	Ferruccio Guidi	- Procedural: moved in a directory on its own	blob \| commitdiff \| raw \| diff to current
2007-01-10	Ferruccio Guidi	attributes now in the proof status: commit 1	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we started the infrastructure for the procedural render...	blob \| commitdiff \| raw \| diff to current
2006-11-25	Enrico Tassi	added a test for the pullback stuff and the possibility...	blob \| commitdiff \| raw \| diff to current
2006-09-27	Claudio Sacerdoti...	Initial work on setoids:	blob \| commitdiff \| raw \| diff to current
2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom