matita.cs.unibo.it Git - helm.git/history - helm/uwobo/src/ocaml/Makefile

]> matita.cs.unibo.it Git - helm.git/history - helm/uwobo/src/ocaml/Makefile

2003-01-17	Stefano Zacchiroli	removed thread support options	blob \| commitdiff \| raw
2003-01-15	Stefano Zacchiroli	changed default behavior of the "all:" target, now...	blob \| commitdiff \| raw \| diff to current
2003-01-10	Stefano Zacchiroli	- added "dist" target	blob \| commitdiff \| raw \| diff to current
2002-12-01	Stefano Zacchiroli	use '-thread' option only when linking	blob \| commitdiff \| raw \| diff to current
2002-11-27	Stefano Zacchiroli	snapshot Wed, 27 Nov 2002 02:45:45 +0100	blob \| commitdiff \| raw \| diff to current
2002-11-26	Stefano Zacchiroli	uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26...	blob \| commitdiff \| raw \| diff to current

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