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

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

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

2009-10-12	Enrico Tassi	new standard library inside path	blob \| commitdiff \| raw
2009-09-29	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	Persistent db (to lookup names in the library) ineffici...	blob \| commitdiff \| raw \| diff to current
2009-04-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	blob \| commitdiff \| raw \| diff to current
2009-01-13	Enrico Tassi	many changes regarding coercions:	blob \| commitdiff \| raw \| diff to current
2008-11-27	Enrico Tassi	1. grafiteDisambiguator => multiPassDisambiguator	blob \| commitdiff \| raw \| diff to current
2008-07-22	Ferruccio Guidi	matitadep: we now handle the inline of an uri, we remov...	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-07-21	Enrico Tassi	add conf key matita.debug_menu	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-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-12-04	Enrico Tassi	added do_heavy_checks default	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	fix -noinnertypes set to true!	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	added default for matita.noiinertypes	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	added -noinnertypes	blob \| commitdiff \| raw \| diff to current
2007-11-15	Enrico Tassi	added --version to allow help2man	blob \| commitdiff \| raw \| diff to current
2007-09-22	Ferruccio Guidi	- system flag now forks for matitadep too	blob \| commitdiff \| raw \| diff to current
2007-09-21	Ferruccio Guidi	bug fix in configuration dependences	blob \| commitdiff \| raw \| diff to current
2007-09-05	Ferruccio Guidi	- lybrarySync:	blob \| commitdiff \| raw \| diff to current
2007-09-05	Ferruccio Guidi	- matitaInit matitaprover matitadep matitamake:	blob \| commitdiff \| raw \| diff to current
2007-07-20	Claudio Sacerdoti...	Initialization of matita.map_unicode_to_tex moved from...	blob \| commitdiff \| raw \| diff to current
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	blob \| commitdiff \| raw \| diff to current
2007-04-20	Enrico Tassi	fixed paths and prefixes of included files	blob \| commitdiff \| raw \| diff to current
2006-09-27	Enrico Tassi	fixed bug regarding developments. paths given with...	blob \| commitdiff \| raw \| diff to current
2006-07-22	Enrico Tassi	matitaprover	blob \| commitdiff \| raw \| diff to current
2006-03-22	Enrico Tassi	profiler on steroids. added -profile-only to specify...	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-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-23	Stefano Zacchiroli	added capability to specify externally extra command...	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	- uniformed command line handling of matitamake with...	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