]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/METAS
snapshort
[helm.git] / helm / ocaml / METAS /
2005-05-17 Stefano Zacchirolifirst check-in of cic_notation
2005-05-16 Stefano Zacchiroli- no longer needs PXP
2005-05-10 Stefano Zacchirolimade optional dependency on thread library and compile...
2005-05-10 Stefano Zacchiroliadded dep on expat
2005-05-05 Stefano Zacchiroli- implemented CicPushParser which parser CIC objects...
2005-02-04 Stefano Zacchiroliadded gzip support to Xml
2005-02-04 Stefano Zacchiroliremoved ancient mathql deps
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-10-22 Stefano Zacchiroliremoved dependency on cic_textual_parser where this...
2004-10-21 Stefano Zacchiroliadded dep on helm-metadata
2004-10-15 Stefano Zacchiroliadded helm-metadata module
2004-10-13 Stefano Zacchiroliadded alias for cic_textual_parser2
2004-10-11 Stefano Zacchiroliadded new Utf8Macro module
2004-10-04 Stefano Zacchirolixmldiff's META
2004-04-19 Stefano Zacchirolireorganized metas so that pxp is references only throug...
2004-04-19 Stefano Zacchiroliadded hbugs' (client) meta
2004-04-19 Stefano Zacchiroligeneralized META.* ignoring
2004-02-24 Claudio Sacerdoti... Porting to MySql.
2004-02-13 Stefano Zacchirolis/pcre/str/
2004-02-11 Stefano Zacchirolinew metas (getter's backend, registry, logger, and...
2004-02-09 Stefano Zacchiroliadded thread entry
2004-02-09 Stefano Zacchiroliadded netstring and pxp deps
2004-02-09 Stefano Zacchirolihelm-thread's META
2004-02-03 Stefano Zacchiroliadded urimanager dependency
2004-01-30 Stefano Zacchirolireordered
2004-01-27 Stefano Zacchirolihelm registry's META
2004-01-14 Stefano Zacchiroliadded missing depending on (CSC's) helm-cic_textual_parser
2004-01-14 Stefano Zacchiroliadded missing dependencies on mathql-*
2004-01-14 Stefano Zacchiroliadded logger's META
2003-12-16 Stefano Zacchirolis/netclient/http/ in dependencies
2003-12-16 Stefano Zacchirolirenamed META*.src to meta*.src so that ocamlfind list...
2003-12-16 Stefano Zacchirolimoved META files in METAS/ dir