]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/Makefile.in
...
[helm.git] / helm / ocaml / Makefile.in
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code
2005-07-21 Alberto Griggioadded paramodulation package
2005-07-18 Stefano Zacchiroliadded generation og disambiguator META (future name...
2005-06-28 Stefano Zacchirolimoved discovery of METAS dir to configure.ac: script...
2005-06-22 Stefano Zacchirolirestored local usage of OCAMLPATH so that ./script...
2005-06-14 Stefano Zacchirolidon't build pxp (no longer needed), cic_annotations...
2005-06-13 Stefano Zacchiroli- no longer build mathql per default
2005-06-08 Claudio Sacerdoti... clean now also performs clean_metas (since make also...
2005-05-17 Stefano Zacchirolifirst check-in of cic_notation
2005-05-10 Stefano Zacchirolimoved up xml, now needed by CicParser
2005-05-05 Stefano Zacchiroliadded "tags" target to generate vim tags with otags
2005-04-28 Enrico Tassiadded hbugs and mathql
2005-04-21 Stefano Zacchirolino longer build neither mathql nor hbugs per default
2004-10-22 Stefano Zacchirolino longer builds by default tex_ and cic_textual_parser
2004-10-20 Andrea Asperti- removed cic_cache and cic_annotations_cache
2004-10-15 Stefano Zacchiroliadded helm-metadata module
2004-10-11 Stefano Zacchiroliadded utf8_macros
2004-10-04 Stefano Zacchiroli- added xmldiff module
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are...
2004-04-19 Stefano Zacchiroli- reordered modules so that pxp could be used as entry...
2004-03-31 Lionel MamaneMeta files are in METAS subdir
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file
2004-02-12 Claudio Sacerdoti... libraries-complete.ps:
2004-02-12 Claudio Sacerdoti... libraries-complete.ps: the internal libraries are now...
2004-02-12 Claudio Sacerdoti... Added new target libraries-complete.ps (with also all...
2004-02-11 Stefano Zacchirolinew logger, getter, and the hell
2004-01-22 Stefano Zacchiroli- added -thread switch
2004-01-22 Stefano Zacchirolibuild also cic_textual_parser2
2004-01-19 Claudio Sacerdoti... mathql listed twice
2004-01-14 Stefano Zacchiroli- added logger module
2003-12-17 Ferruccio GuidiMakefiles patched
2003-12-16 Stefano Zacchiroliuse new METAS/* names
2003-12-16 Stefano Zacchirolimoved META files in METAS/ dir
2003-12-16 Stefano Zacchiroliadded support for cic_textual_parser2 module
2003-09-23 Ferruccio GuidiNow mathql_generator compiles before mathql_interpreter.
2003-07-20 Claudio Sacerdoti... cic_transformations factorized into cic_omdoc and cic_t...
2003-07-16 Andrea AspertiSeveral changes (the beginning of a new era???)
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type...
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.
2002-09-19 natilecommit of galax mathql interpreter
2002-05-22 Ferruccio Guidimathql package started
2002-05-14 Claudio Sacerdoti... First very-very-very-very-alfa release of a MathQL...
2002-04-26 Claudio Sacerdoti... First (very bugged) version of cic_unification committed.
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository.
2001-11-29 Claudio Sacerdoti... * .mli added where needed
2001-11-28 Claudio Sacerdoti... configure.in now used (just to check that ocaml and...