matita.cs.unibo.it Git - helm.git/history

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

2007-11-16	Enrico Tassi	added default for matita.noiinertypes	blob \| commitdiff \| raw
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