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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

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

2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	blob \| commitdiff \| raw
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.