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

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

2009-04-30	Matthias Puech	Added an option --enable-annot to the configure to...	blob \| commitdiff \| raw
2007-10-12	Claudio Sacerdoti...	Move to OCaml 3.10. Requires debian packages from unsta...	blob \| commitdiff \| raw \| diff to current
2006-05-29	Stefano Zacchiroli	OCAMLPATH is no longer overrid if already set in curren...	blob \| commitdiff \| raw \| diff to current
2006-02-08	Stefano Zacchiroli	expand SRCROOT (is needed by matita/Makefile)	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	added configure time values SRCROOT and DISTRIBUTED	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	moved toplevel makefile to sfotware/	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.