]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/METAS
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / ocaml / METAS /
2005-10-05 Enrico Tassiaded hmysql/ tree | commitdiff
2005-09-26 Stefano Zacchiroliset extlib findlib dependencies tree | commitdiff
2005-09-23 Claudio Sacerdoti... CicUtil.profile ==> HExtlib.profile tree | commitdiff
2005-09-12 Claudio Sacerdoti... cic_textual_parser2 ==> cic_disambiguation tree | commitdiff
2005-09-12 Stefano Zacchirolicic_textual_parser2 -> cic_disambiguation tree | commitdiff
2005-07-27 Stefano Zacchirolifixed cic_notation dependencies tree | commitdiff
2005-07-25 Stefano Zacchiroliimplemented transformations on top of notation code tree | commitdiff
2005-07-21 Alberto Griggioadded paramodulation package tree | commitdiff
2005-07-07 Enrico Tassiremoved gdom2 dep tree | commitdiff
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell) tree | commitdiff
2005-06-14 Stefano Zacchiroliremoved dependencies on Pxp tree | commitdiff
2005-05-17 Stefano Zacchirolifirst check-in of cic_notation tree | commitdiff
2005-05-16 Stefano Zacchiroli- no longer needs PXP tree | commitdiff
2005-05-10 Stefano Zacchirolimade optional dependency on thread library and compile... tree | commitdiff
2005-05-10 Stefano Zacchiroliadded dep on expat tree | commitdiff
2005-05-05 Stefano Zacchiroli- implemented CicPushParser which parser CIC objects... tree | commitdiff
2005-02-04 Stefano Zacchiroliadded gzip support to Xml tree | commitdiff
2005-02-04 Stefano Zacchiroliremoved ancient mathql deps tree | commitdiff
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may... tree | commitdiff
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module... tree | commitdiff
2004-10-22 Stefano Zacchiroliremoved dependency on cic_textual_parser where this... tree | commitdiff
2004-10-21 Stefano Zacchiroliadded dep on helm-metadata tree | commitdiff
2004-10-15 Stefano Zacchiroliadded helm-metadata module tree | commitdiff
2004-10-13 Stefano Zacchiroliadded alias for cic_textual_parser2 tree | commitdiff
2004-10-11 Stefano Zacchiroliadded new Utf8Macro module tree | commitdiff
2004-10-04 Stefano Zacchirolixmldiff's META tree | commitdiff
2004-04-19 Stefano Zacchirolireorganized metas so that pxp is references only throug... tree | commitdiff
2004-04-19 Stefano Zacchiroliadded hbugs' (client) meta tree | commitdiff
2004-04-19 Stefano Zacchiroligeneralized META.* ignoring tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting to MySql. tree | commitdiff
2004-02-13 Stefano Zacchirolis/pcre/str/ tree | commitdiff
2004-02-11 Stefano Zacchirolinew metas (getter's backend, registry, logger, and... tree | commitdiff
2004-02-09 Stefano Zacchiroliadded thread entry tree | commitdiff
2004-02-09 Stefano Zacchiroliadded netstring and pxp deps tree | commitdiff
2004-02-09 Stefano Zacchirolihelm-thread's META tree | commitdiff
2004-02-03 Stefano Zacchiroliadded urimanager dependency tree | commitdiff
2004-01-30 Stefano Zacchirolireordered tree | commitdiff
2004-01-27 Stefano Zacchirolihelm registry's META tree | commitdiff
2004-01-14 Stefano Zacchiroliadded missing depending on (CSC's) helm-cic_textual_parser tree | commitdiff
2004-01-14 Stefano Zacchiroliadded missing dependencies on mathql-* tree | commitdiff
2004-01-14 Stefano Zacchiroliadded logger's META tree | commitdiff
2003-12-16 Stefano Zacchirolis/netclient/http/ in dependencies tree | commitdiff
2003-12-16 Stefano Zacchirolirenamed META*.src to meta*.src so that ocamlfind list... tree | commitdiff
2003-12-16 Stefano Zacchirolimoved META files in METAS/ dir tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.