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

[helm.git] / helm / software / matita / matita.ml

2009-10-08	Claudio Sacerdoti...	A new switch to activate/deactive nCicReduction pretty...	blob \| commitdiff \| raw
2009-10-06	Enrico Tassi	unification pps can be activated by the menu debug	blob \| commitdiff \| raw \| diff to current
2009-07-13	Claudio Sacerdoti...	Coercion hiding implemented. Notes:	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	Estatus finally merged into the global status using...	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	Useless GrafiteTypes.get_baseuri removed.	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	More statuses converted to objects.	blob \| commitdiff \| raw \| diff to current
2009-06-18	Claudio Sacerdoti...	Objects are now used to represent also the tactic status.	blob \| commitdiff \| raw \| diff to current
2009-06-18	Claudio Sacerdoti...	1) grafiteWalker removed	blob \| commitdiff \| raw \| diff to current
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw \| diff to current
2009-04-25	Ferruccio Guidi	- matitacLib: lexicon status and grafite status where...	blob \| commitdiff \| raw \| diff to current
2009-04-09	Claudio Sacerdoti...	+ Chain NCic.term -> content -> presentation very...	blob \| commitdiff \| raw \| diff to current
2009-01-13	Enrico Tassi	many changes regarding coercions:	blob \| commitdiff \| raw \| diff to current
2008-12-09	Enrico Tassi	option to collapse all tex macros implemented	blob \| commitdiff \| raw \| diff to current
2008-12-06	Enrico Tassi	new concept of virtuals, defined only in the gui that...	blob \| commitdiff \| raw \| diff to current
2008-12-03	Claudio Sacerdoti...	The aliases and multi_aliases in the lexicon status...	blob \| commitdiff \| raw \| diff to current
2008-11-27	Enrico Tassi	1. grafiteDisambiguator => multiPassDisambiguator	blob \| commitdiff \| raw \| diff to current
2008-09-26	Enrico Tassi	lazy proof term to increase sharing and decrease memory...	blob \| commitdiff \| raw \| diff to current
2008-08-23	Claudio Sacerdoti...	New debug item to print aliases.	blob \| commitdiff \| raw \| diff to current
2008-07-21	Enrico Tassi	add conf key matita.debug_menu	blob \| commitdiff \| raw \| diff to current
2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-12-04	Claudio Sacerdoti...	Added debugging option to ask for all disambiguation...	blob \| commitdiff \| raw \| diff to current
2007-08-30	Claudio Sacerdoti...	Coercions are now generalized to the general form	blob \| commitdiff \| raw \| diff to current
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