]> matita.cs.unibo.it Git - helm.git/history - matita/Makefile
xxx
[helm.git] / matita / Makefile
2007-10-26 Enrico Tassino -rectype passed to ocamldep
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta...
2007-09-22 Ferruccio Guidi- system flag now forks for matitadep too
2007-09-13 Ferruccio Guidithe published devels must be removed from the tests
2007-07-24 Ferruccio GuidiMakefile missing in previous commit
2007-07-23 Enrico Tassifixed makefiles to make it compile cleanly again
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-06-06 Enrico Tassifixed to allow make-dist
2007-06-04 Enrico Tassitentative fix
2007-06-04 Enrico Tassinew more flexible compose, see matita/tests/compose...
2007-05-29 Enrico TassihSqlite3.ml used create_fun_2 to define REGEXP.
2007-05-29 Enrico Tassiadded some lines to compile for debugging
2007-05-29 Enrico Tassiadded pruning option in autogui
2007-05-23 Enrico Tassideps fixed
2007-05-23 Enrico Tassimakefile reworked to make debian package possible
2007-05-17 Enrico TassiOPT tests restored
2007-05-13 Ferruccio Guidilibrary-auto removed from tests (too slow even in nativ...
2007-05-03 Ferruccio Guidilibrary-auto is only tested in native code (in byte...
2007-04-20 Enrico Tassiadded library_auto/ to tests.
2007-02-06 Ferruccio Guidi- Procedural: moved in a directory on its own
2007-01-20 Claudio Sacerdoti... Just a few lines test to understand with Cezary Kalinsk...
2006-12-29 Ferruccio Guidinow we try two distinct depend files for compilation...
2006-12-22 Ferruccio Guidilegacy development created
2006-10-18 Claudio Sacerdoti... Dama is now in the night benchmarks.
2006-10-12 Claudio Sacerdoti... CoRN integrated in the night benchmarks.
2006-10-11 Claudio Sacerdoti... The RELATIONAL contrib must be compiled before the...
2006-10-10 Claudio Sacerdoti... I do not understand at all why Enrico removed the contr...
2006-09-27 Stefano ZacchiroliAdded generation of dependency graph for the ocaml...
2006-09-26 Claudio Sacerdoti... linkonly now also links matitac
2006-09-20 Claudio Sacerdoti... Added new target linkonly to link matita without re...
2006-09-13 Enrico Tassiremoved contribs from nigtly bench
2006-07-24 Enrico Tassimore work on matitaprover (no more XML and buris are...
2006-07-23 Enrico Tassimore static libs for matitaprover
2006-07-22 Enrico Tassimatitaprover
2006-07-12 Stefano Zacchiroliadded pretty printer for dot files (it may need to...
2006-07-12 Stefano Zacchiroliadded widget for rendering and interacting with graphs...
2006-06-13 Stefano Zacchiroligenerate gui code upon distribution
2006-06-13 Stefano Zacchirolirecursive invocation of distr_pre
2006-04-13 Enrico Tassito tired to write a message.
2006-04-12 Enrico Tassifixed new compilation order
2006-04-05 Enrico Tassilinks to .opt are now generated in the world target
2006-03-29 Enrico Tassifew bits to debug the benchmark system
2006-03-16 Enrico Tassifixed a bug in the Makefile, generatedGui.mli no more...
2006-03-15 Enrico Tassimore work for the release
2006-03-14 Enrico Tassiadded elp to distribution
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-23 Stefano Zacchiroliadded "gragrep", grep-like tool over a bunch of grafite...
2006-02-15 Enrico Tassifix
2006-02-08 Stefano Zacchiroliimplemented "install" target
2006-02-08 Stefano Zacchirolino more dummy names for building the library in distrib...
2006-02-07 Stefano Zacchiroli- use the best matitamake to build the library on dist
2006-02-06 Stefano Zacchiroli- bugfix: pass -conffile to matitamake
2006-02-06 Stefano Zacchirolis/ocaml/components/ in the "tag" target
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/