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

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

[helm.git] / helm / software / matita / Makefile

2009-10-28	Ferruccio Guidi	- lambda-delta: some fixes: now the grundlagen type...	blob \| commitdiff \| raw
2009-10-12	Enrico Tassi	new standard library inside path	blob \| commitdiff \| raw \| diff to current
2009-10-11	Enrico Tassi	no need to compile/install the standard library. if...	blob \| commitdiff \| raw \| diff to current
2009-09-23	Enrico Tassi	new macro screenshot	blob \| commitdiff \| raw \| diff to current
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	blob \| commitdiff \| raw \| diff to current
2009-04-30	Matthias Puech	Added an option --enable-annot to the configure to...	blob \| commitdiff \| raw \| diff to current
2009-04-06	Ferruccio Guidi	limits: reorganized and attached to nightly tests ...	blob \| commitdiff \| raw \| diff to current
2009-03-11	Ferruccio Guidi	matitacLib: Gc.compact added after the compilation...	blob \| commitdiff \| raw \| diff to current
2008-12-08	Enrico Tassi	non active but almost working implementation of \TeX...	blob \| commitdiff \| raw \| diff to current
2008-12-06	Enrico Tassi	new concept of virtuals, defined only in the gui that...	blob \| commitdiff \| raw \| diff to current
2008-09-26	Ferruccio Guidi	Procedural: we removed some commented code	blob \| commitdiff \| raw \| diff to current
2008-09-10	Enrico Tassi	COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP...	blob \| commitdiff \| raw \| diff to current
2008-09-04	Enrico Tassi	stop running LAMBDA-TYPES as a test, can be reactivated...	blob \| commitdiff \| raw \| diff to current
2008-08-21	Enrico Tassi	pango escape fixed	blob \| commitdiff \| raw \| diff to current
2008-07-15	Ferruccio Guidi	cic2acic: new function acic_term_of_cic_term	blob \| commitdiff \| raw \| diff to current
2008-03-22	Enrico Tassi	moved dama/ and dama_didactic/ in contribs/dama/	blob \| commitdiff \| raw \| diff to current
2008-03-10	Enrico Tassi	fixed wrong dependencies in debian package reported...	blob \| commitdiff \| raw \| diff to current
2008-03-06	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-02-12	Enrico Tassi	fixed make dist	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-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-11-27	Stefano Zacchiroli	change naming scheme for rottened script, so that they...	blob \| commitdiff \| raw \| diff to current
2007-11-27	Stefano Zacchiroli	make target for cleaning rottened files	blob \| commitdiff \| raw \| diff to current
2007-11-26	Stefano Zacchiroli	first draft of a script to mechanically introduce ...	blob \| commitdiff \| raw \| diff to current
2007-11-16	Enrico Tassi	removed dummy MATITA_CFLAGS assignement	blob \| commitdiff \| raw \| diff to current
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