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

2008-09-26	Enrico Tassi	more push/pop to avoid confusion with imperative data...	blob \| commitdiff \| raw
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	blob \| commitdiff \| raw \| diff to current
2008-08-21	Ferruccio Guidi	basic support for imposed flavour in procedural object...	blob \| commitdiff \| raw \| diff to current
2008-07-21	Ferruccio Guidi	we implemented the support for generating ma files...	blob \| commitdiff \| raw \| diff to current
2008-06-18	Enrico Tassi	removed unused variable	blob \| commitdiff \| raw \| diff to current
2008-06-13	Enrico Tassi	when -debug do not catch	blob \| commitdiff \| raw \| diff to current
2008-03-19	Claudio Sacerdoti...	-debug improved	blob \| commitdiff \| raw \| diff to current
2008-03-12	Enrico Tassi	if -debug is specified do not catch all exceptions	blob \| commitdiff \| raw \| diff to current
2008-03-05	Enrico Tassi	from now on, export MATITA_EXTRACT=true to extract	blob \| commitdiff \| raw \| diff to current
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	blob \| commitdiff \| raw \| diff to current
2008-02-12	Enrico Tassi	allow to use "../foo/bar.ma" as a path for the include...	blob \| commitdiff \| raw \| diff to current
2008-01-21	Claudio Sacerdoti...	Hack for code extraction re-linked, but disactivated.	blob \| commitdiff \| raw \| diff to current
2008-01-14	Enrico Tassi	user time is now printed correctly	blob \| commitdiff \| raw \| diff to current
2008-01-11	Enrico Tassi	Make does not even try to build files that would be...	blob \| commitdiff \| raw \| diff to current
2008-01-11	Enrico Tassi	another fix to make it more resistant	blob \| commitdiff \| raw \| diff to current
2008-01-11	Enrico Tassi	ugly hack to make matitac not exit when called on a...	blob \| commitdiff \| raw \| diff to current
2008-01-11	Enrico Tassi	added a warning if the baseuri we want to clean is...	blob \| commitdiff \| raw \| diff to current
2008-01-11	Enrico Tassi	removed useless assertion	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-28	Claudio Sacerdoti...	Dead code removed.	blob \| commitdiff \| raw \| diff to current
2007-11-08	Enrico Tassi	forced associativity in if construct	blob \| commitdiff \| raw \| diff to current
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