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

2007-02-09	Ferruccio Guidi	added option -dump to matitac for persistent macro...	blob \| commitdiff \| raw
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.