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

2006-09-20	Claudio Sacerdoti...	Added new target linkonly to link matita without re...	blob \| commitdiff \| raw
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