matita.cs.unibo.it Git - helm.git/history

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

2006-01-12	Enrico Tassi	fixed compilation order	blob \| commitdiff \| raw
2006-01-12	Enrico Tassi	fixes for paramodulation relocation	blob \| commitdiff \| raw \| diff to current
2006-01-12	Enrico Tassi	fixed paramodulation trnsition	blob \| commitdiff \| raw \| diff to current
2005-12-21	Claudio Sacerdoti...	Huge reorganization of matita and ocaml.	blob \| commitdiff \| raw \| diff to current
2005-12-19	Stefano Zacchiroli	libraries-ext.ps generation (dep graph with daemons...	blob \| commitdiff \| raw \| diff to current
2005-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	blob \| commitdiff \| raw \| diff to current
2005-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	blob \| commitdiff \| raw \| diff to current
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries.	blob \| commitdiff \| raw \| diff to current
2005-11-24	Stefano Zacchiroli	split non-logic level of whelp away from metadataQuery...	blob \| commitdiff \| raw \| diff to current
2005-11-24	Stefano Zacchiroli	bugfix: libraries.ps works again	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	added hmysql	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	blob \| commitdiff \| raw \| diff to current
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	blob \| commitdiff \| raw \| diff to current
2005-09-12	Stefano Zacchiroli	cic_textual_parser2 -> cic_disambiguation	blob \| commitdiff \| raw \| diff to current
2005-07-25	Stefano Zacchiroli	implemented transformations on top of notation code	blob \| commitdiff \| raw \| diff to current
2005-07-21	Alberto Griggio	added paramodulation package	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	added generation og disambiguator META (future name...	blob \| commitdiff \| raw \| diff to current
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	restored local usage of OCAMLPATH so that ./script...	blob \| commitdiff \| raw \| diff to current
2005-06-14	Stefano Zacchiroli	don't build pxp (no longer needed), cic_annotations...	blob \| commitdiff \| raw \| diff to current
2005-06-13	Stefano Zacchiroli	- no longer build mathql per default	blob \| commitdiff \| raw \| diff to current
2005-06-08	Claudio Sacerdoti...	clean now also performs clean_metas (since make also...	blob \| commitdiff \| raw \| diff to current
2005-05-17	Stefano Zacchiroli	first check-in of cic_notation	blob \| commitdiff \| raw \| diff to current
2005-05-10	Stefano Zacchiroli	moved up xml, now needed by CicParser	blob \| commitdiff \| raw \| diff to current
2005-05-05	Stefano Zacchiroli	added "tags" target to generate vim tags with otags	blob \| commitdiff \| raw \| diff to current
2005-04-28	Enrico Tassi	added hbugs and mathql	blob \| commitdiff \| raw \| diff to current
2005-04-21	Stefano Zacchiroli	no longer build neither mathql nor hbugs per default	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	no longer builds by default tex_ and cic_textual_parser	blob \| commitdiff \| raw \| diff to current
2004-10-20	Andrea Asperti	- removed cic_cache and cic_annotations_cache	blob \| commitdiff \| raw \| diff to current
2004-10-15	Stefano Zacchiroli	added helm-metadata module	blob \| commitdiff \| raw \| diff to current
2004-10-11	Stefano Zacchiroli	added utf8_macros	blob \| commitdiff \| raw \| diff to current
2004-10-04	Stefano Zacchiroli	- added xmldiff module	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-04-19	Stefano Zacchiroli	- reordered modules so that pxp could be used as entry...	blob \| commitdiff \| raw \| diff to current
2004-03-31	Lionel Mamane	Meta files are in METAS subdir	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-12	Claudio Sacerdoti...	libraries-complete.ps:	blob \| commitdiff \| raw \| diff to current
2004-02-12	Claudio Sacerdoti...	libraries-complete.ps: the internal libraries are now...	blob \| commitdiff \| raw \| diff to current
2004-02-12	Claudio Sacerdoti...	Added new target libraries-complete.ps (with also all...	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new logger, getter, and the hell	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	build also cic_textual_parser2	blob \| commitdiff \| raw \| diff to current
2004-01-19	Claudio Sacerdoti...	mathql listed twice	blob \| commitdiff \| raw \| diff to current
2004-01-14	Stefano Zacchiroli	- added logger module	blob \| commitdiff \| raw \| diff to current
2003-12-17	Ferruccio Guidi	Makefiles patched	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	use new METAS/* names	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	moved META files in METAS/ dir	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-09-23	Ferruccio Guidi	Now mathql_generator compiles before mathql_interpreter.	blob \| commitdiff \| raw \| diff to current
2003-07-20	Claudio Sacerdoti...	cic_transformations factorized into cic_omdoc and cic_t...	blob \| commitdiff \| raw \| diff to current
2003-07-16	Andrea Asperti	Several changes (the beginning of a new era???)	blob \| commitdiff \| raw \| diff to current
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	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-09-19	natile	commit of galax mathql interpreter	blob \| commitdiff \| raw \| diff to current
2002-05-22	Ferruccio Guidi	mathql package started	blob \| commitdiff \| raw \| diff to current
2002-05-14	Claudio Sacerdoti...	First very-very-very-very-alfa release of a MathQL...	blob \| commitdiff \| raw \| diff to current
2002-04-26	Claudio Sacerdoti...	First (very bugged) version of cic_unification committed.	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-11-29	Claudio Sacerdoti...	* .mli added where needed	blob \| commitdiff \| raw \| diff to current
2001-11-28	Claudio Sacerdoti...	configure.in now used (just to check that ocaml and...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom