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

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

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

2007-11-08	Enrico Tassi	forced associativity in if construct	blob \| commitdiff \| raw
2007-11-07	Enrico Tassi	Code extraction unbranched again.	blob \| commitdiff \| raw \| diff to current
2007-11-05	Claudio Sacerdoti...	Filenames are now fully mangled (e.g. matita_nat_nat...	blob \| commitdiff \| raw \| diff to current
2007-11-04	Claudio Sacerdoti...	Bug fixed: qualified names were not generated correctly...	blob \| commitdiff \| raw \| diff to current
2007-11-04	Claudio Sacerdoti...	CicExportation branched. Change "if false" with "if...	blob \| commitdiff \| raw \| diff to current
2007-07-25	Ferruccio Guidi	matitac: We do not generate the .moo and .lexicon of...	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-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	blob \| commitdiff \| raw \| diff to current
2007-02-09	Ferruccio Guidi	added option -dump to matitac for persistent macro...	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-20	Claudio Sacerdoti...	An "assert false" used to be raised when matitac was...	blob \| commitdiff \| raw \| diff to current
2006-12-12	Ferruccio Guidi	we parametrized CicNotationPt.obj on 'term	blob \| commitdiff \| raw \| diff to current
2006-10-09	Claudio Sacerdoti...	More work to handle -debug properly.	blob \| commitdiff \| raw \| diff to current
2006-07-05	Enrico Tassi	bugfix to developments:	blob \| commitdiff \| raw \| diff to current
2006-03-24	Claudio Sacerdoti...	Colors are back! :-)	blob \| commitdiff \| raw \| diff to current
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	blob \| commitdiff \| raw \| diff to current
2006-03-16	Enrico Tassi	one more step toward release and bench reorganization	blob \| commitdiff \| raw \| diff to current
2006-03-15	Enrico Tassi	more work for the release	blob \| commitdiff \| raw \| diff to current
2006-03-15	Enrico Tassi	snapshot for release	blob \| commitdiff \| raw \| diff to current
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	use matita.verbosity instead of matita.quiet	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