matita.cs.unibo.it Git - helm.git/history - helm/ocaml/Makefile.common.in

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

[helm.git] / helm / ocaml / Makefile.common.in

2005-09-27	Stefano Zacchiroli	removed .annot files (files containing type annotations...	blob \| commitdiff \| raw
2005-06-28	Stefano Zacchiroli	moved discovery of METAS dir to configure.ac: script...	blob \| commitdiff \| raw \| diff to current
2005-06-22	Stefano Zacchiroli	added $(NULL)	blob \| commitdiff \| raw \| diff to current
2005-05-27	Stefano Zacchiroli	added %.annot rule to create type annotation files	blob \| commitdiff \| raw \| diff to current
2005-05-05	Stefano Zacchiroli	added test and test.opt targets	blob \| commitdiff \| raw \| diff to current
2004-10-14	Stefano Zacchiroli	fixed make dep command	blob \| commitdiff \| raw \| diff to current
2004-10-11	Stefano Zacchiroli	Added -syntax support (if needed, use OCAMLC_P4 instead...	blob \| commitdiff \| raw \| diff to current
2004-04-21	Stefano Zacchiroli	detect and use {ocamlc,ocamlopt}.opt when they are...	blob \| commitdiff \| raw \| diff to current
2004-02-17	Stefano Zacchiroli	added hook for .cma link time options	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	-linkall removed	blob \| commitdiff \| raw \| diff to current
2004-02-16	Stefano Zacchiroli	added ocamlinit target which creates a .ocamlinit file	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new logger, getter, and the hell	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	added -g flag to ocamlc per default	blob \| commitdiff \| raw \| diff to current
2004-01-27	Ferruccio Guidi	empty goal patched	blob \| commitdiff \| raw \| diff to current
2004-01-23	Stefano Zacchiroli	removed useless -thread switch	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	- added -thread switch	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	- added backup target	blob \| commitdiff \| raw \| diff to current
2003-12-17	Ferruccio Guidi	Makefiles patched	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	added support for cic_textual_parser2 module	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current
2002-05-22	Ferruccio Guidi	mathql package started	blob \| commitdiff \| raw \| diff to current
2002-01-29	Claudio Sacerdoti...	Ported to ocaml-3.04.	blob \| commitdiff \| raw \| diff to current
2002-01-10	Claudio Sacerdoti...	CIC Textual Parser added to the repository.	blob \| commitdiff \| raw \| diff to current
2001-12-03	Claudio Sacerdoti...	Makefile improved: dependencies from libraries are...	blob \| commitdiff \| raw \| diff to current
2001-11-29	Claudio Sacerdoti...	* .mli added where needed	blob \| commitdiff \| raw \| diff to current

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

RSS Atom