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

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

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

2009-09-17	Enrico Tassi	one more exception printed	blob \| commitdiff \| raw
2009-08-25	Enrico Tassi	added "already defined"	blob \| commitdiff \| raw \| diff to current
2009-07-10	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-06-18	Enrico Tassi	better exception handling	blob \| commitdiff \| raw \| diff to current
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	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-16	Enrico Tassi	added an exception	blob \| commitdiff \| raw \| diff to current
2009-04-06	Enrico Tassi	added one exception	blob \| commitdiff \| raw \| diff to current
2009-04-02	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-19	Enrico Tassi	....	blob \| commitdiff \| raw \| diff to current
2008-12-16	Enrico Tassi	added one asser	blob \| commitdiff \| raw \| diff to current
2008-12-09	Enrico Tassi	added an exception	blob \| commitdiff \| raw \| diff to current
2008-12-07	Claudio Sacerdoti...	New exception considered.	blob \| commitdiff \| raw \| diff to current
2008-12-05	Claudio Sacerdoti...	new exception captured	blob \| commitdiff \| raw \| diff to current
2008-11-28	Enrico Tassi	new disambiguator almost attached	blob \| commitdiff \| raw \| diff to current
2008-11-27	Enrico Tassi	1. grafiteDisambiguator => multiPassDisambiguator	blob \| commitdiff \| raw \| diff to current
2008-11-21	Enrico Tassi	loc * lazy string -> (loc * string) lazy	blob \| commitdiff \| raw \| diff to current
2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	blob \| commitdiff \| raw \| diff to current
2008-06-17	Enrico Tassi	reordering of lexicon status partially avoided to make...	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-11-26	Claudio Sacerdoti...	Some code clean-up.	blob \| commitdiff \| raw \| diff to current
2007-11-26	Claudio Sacerdoti...	Disambiguation error compaction is now performed in...	blob \| commitdiff \| raw \| diff to current
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw \| diff to current
2007-08-30	Enrico Tassi	print few more wired assertions	blob \| commitdiff \| raw \| diff to current
2007-05-31	Claudio Sacerdoti...	More exceptions pretty-printed.	blob \| commitdiff \| raw \| diff to current
2006-12-05	Stefano Zacchiroli	experimental classification of disambiguation error...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	- Disambiguation error exception enriched with more...	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	Disambiguation errors now carry more information (i...	blob \| commitdiff \| raw \| diff to current
2006-04-13	Enrico Tassi	to tired to write a message.	blob \| commitdiff \| raw \| diff to current
2006-03-03	marangon	PP of Refine.RefineFailure.	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