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

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

2007-11-16	Enrico Tassi	removed dummy MATITA_CFLAGS assignement	blob \| commitdiff \| raw
2007-10-26	Enrico Tassi	no -rectype passed to ocamldep	blob \| commitdiff \| raw \| diff to current
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	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-13	Ferruccio Guidi	the published devels must be removed from the tests	blob \| commitdiff \| raw \| diff to current
2007-07-24	Ferruccio Guidi	Makefile missing in previous commit	blob \| commitdiff \| raw \| diff to current
2007-07-23	Enrico Tassi	fixed makefiles to make it compile cleanly again	blob \| commitdiff \| raw \| diff to current
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	blob \| commitdiff \| raw \| diff to current
2007-06-06	Enrico Tassi	fixed to allow make-dist	blob \| commitdiff \| raw \| diff to current
2007-06-04	Enrico Tassi	tentative fix	blob \| commitdiff \| raw \| diff to current
2007-06-04	Enrico Tassi	new more flexible compose, see matita/tests/compose...	blob \| commitdiff \| raw \| diff to current
2007-05-29	Enrico Tassi	hSqlite3.ml used create_fun_2 to define REGEXP.	blob \| commitdiff \| raw \| diff to current
2007-05-29	Enrico Tassi	added some lines to compile for debugging	blob \| commitdiff \| raw \| diff to current
2007-05-29	Enrico Tassi	added pruning option in autogui	blob \| commitdiff \| raw \| diff to current
2007-05-23	Enrico Tassi	deps fixed	blob \| commitdiff \| raw \| diff to current
2007-05-23	Enrico Tassi	makefile reworked to make debian package possible	blob \| commitdiff \| raw \| diff to current
2007-05-17	Enrico Tassi	OPT tests restored	blob \| commitdiff \| raw \| diff to current
2007-05-13	Ferruccio Guidi	library-auto removed from tests (too slow even in nativ...	blob \| commitdiff \| raw \| diff to current
2007-05-03	Ferruccio Guidi	library-auto is only tested in native code (in byte...	blob \| commitdiff \| raw \| diff to current
2007-04-20	Enrico Tassi	added library_auto/ to tests.	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...	Just a few lines test to understand with Cezary Kalinsk...	blob \| commitdiff \| raw \| diff to current
2006-12-29	Ferruccio Guidi	now we try two distinct depend files for compilation...	blob \| commitdiff \| raw \| diff to current
2006-12-22	Ferruccio Guidi	legacy development created	blob \| commitdiff \| raw \| diff to current
2006-10-18	Claudio Sacerdoti...	Dama is now in the night benchmarks.	blob \| commitdiff \| raw \| diff to current
2006-10-12	Claudio Sacerdoti...	CoRN integrated in the night benchmarks.	blob \| commitdiff \| raw \| diff to current
2006-10-11	Claudio Sacerdoti...	The RELATIONAL contrib must be compiled before the...	blob \| commitdiff \| raw \| diff to current
2006-10-10	Claudio Sacerdoti...	I do not understand at all why Enrico removed the contr...	blob \| commitdiff \| raw \| diff to current
2006-09-27	Stefano Zacchiroli	Added generation of dependency graph for the ocaml...	blob \| commitdiff \| raw \| diff to current
2006-09-26	Claudio Sacerdoti...	linkonly now also links matitac	blob \| commitdiff \| raw \| diff to current
2006-09-20	Claudio Sacerdoti...	Added new target linkonly to link matita without re...	blob \| commitdiff \| raw \| diff to current
2006-09-13	Enrico Tassi	removed contribs from nigtly bench	blob \| commitdiff \| raw \| diff to current
2006-07-24	Enrico Tassi	more work on matitaprover (no more XML and buris are...	blob \| commitdiff \| raw \| diff to current
2006-07-23	Enrico Tassi	more static libs for matitaprover	blob \| commitdiff \| raw \| diff to current
2006-07-22	Enrico Tassi	matitaprover	blob \| commitdiff \| raw \| diff to current
2006-07-12	Stefano Zacchiroli	added pretty printer for dot files (it may need to...	blob \| commitdiff \| raw \| diff to current
2006-07-12	Stefano Zacchiroli	added widget for rendering and interacting with graphs...	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	generate gui code upon distribution	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	recursive invocation of distr_pre	blob \| commitdiff \| raw \| diff to current
2006-04-13	Enrico Tassi	to tired to write a message.	blob \| commitdiff \| raw \| diff to current
2006-04-12	Enrico Tassi	fixed new compilation order	blob \| commitdiff \| raw \| diff to current
2006-04-05	Enrico Tassi	links to .opt are now generated in the world target	blob \| commitdiff \| raw \| diff to current
2006-03-29	Enrico Tassi	few bits to debug the benchmark system	blob \| commitdiff \| raw \| diff to current
2006-03-16	Enrico Tassi	fixed a bug in the Makefile, generatedGui.mli no more...	blob \| commitdiff \| raw \| diff to current
2006-03-15	Enrico Tassi	more work for the release	blob \| commitdiff \| raw \| diff to current
2006-03-14	Enrico Tassi	added elp to distribution	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 "gragrep", grep-like tool over a bunch of grafite...	blob \| commitdiff \| raw \| diff to current
2006-02-15	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	implemented "install" target	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	no more dummy names for building the library in distrib...	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	- use the best matitamake to build the library on dist	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	- bugfix: pass -conffile to matitamake	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	s/ocaml/components/ in the "tag" target	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