]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added cast rendering (used in check window by gTopLevel/matita)
[helm.git] / helm / ocaml / getter /
2005-01-18 Stefano Zacchiroliread uri from cmdline tree | commitdiff
2005-01-17 Stefano Zacchiroli- added helm_ns and xhtml_ns (XHTML and HELM namespace... tree | commitdiff
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may... tree | commitdiff
2004-10-21 Stefano Zacchiroli- API change (renamed some exceptions) tree | commitdiff
2004-10-13 Andrea Aspertiget_and_save now handles big files properly (i.e. doesn... tree | commitdiff
2004-10-12 Stefano Zacchiroliported to ocaml-http 0.0.10 (renamed Http_client -... tree | commitdiff
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch) tree | commitdiff
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser tree | commitdiff
2004-09-09 Stefano Zacchiroliadded hyperlinks for getalluris/ in help message tree | commitdiff
2004-07-15 Luca Padovani* split evil let definition (ic, oc) = ... into two... tree | commitdiff
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or... tree | commitdiff
2004-06-01 Enrico Tassinew universes implementation tree | commitdiff
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory... tree | commitdiff
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced: tree | commitdiff
2004-05-26 Claudio Sacerdoti... Bug fixed: ls?baseuri=(cic|theory):/a/ also returned... tree | commitdiff
2004-05-26 Stefano Zacchirolibugfix in /ls: removed double trailing "/" tree | commitdiff
2004-05-26 Stefano Zacchirolichanged /ls method so that regular expressions are... tree | commitdiff
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API tree | commitdiff
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories. tree | commitdiff
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were... tree | commitdiff
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter... tree | commitdiff
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-04-19 Stefano Zacchiroli- use PxpHelmConf tree | commitdiff
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use tree | commitdiff
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface tree | commitdiff
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation tree | commitdiff
2004-04-15 Stefano Zacchiroli- better pretty printing on /update tree | commitdiff
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls tree | commitdiff
2004-04-07 Stefano Zacchiroliadded a missing <br> tag tree | commitdiff
2004-04-06 Stefano Zacchiroli- added test file tree | commitdiff
2004-04-06 Stefano Zacchiroli- added via_http parameter so that when the getter... tree | commitdiff
2004-04-06 Stefano Zacchiroli- use polymorphic variants for some configuration param... tree | commitdiff
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover... tree | commitdiff
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is... tree | commitdiff
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use... tree | commitdiff
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message tree | commitdiff
2004-03-12 acerioniType of exception changed: from exn to string. tree | commitdiff
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When... tree | commitdiff
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris. tree | commitdiff
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the... tree | commitdiff
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an... tree | commitdiff
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in... tree | commitdiff
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method. tree | commitdiff
2004-02-12 Ferruccio Guidinew .depend files tree | commitdiff
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this... tree | commitdiff
2004-01-22 Claudio Sacerdoti... Typo fixed. tree | commitdiff
2003-12-16 Stefano Zacchiroliuse ocaml-http instead of netclient for http GET requests tree | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. tree | commitdiff
2002-08-30 Ferruccio Guidiuser name added to tmp file name tree | commitdiff
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository. tree | commitdiff
2001-11-29 Claudio Sacerdoti... * .mli added where needed tree | commitdiff
2001-11-27 Claudio Sacerdoti... 1) .cma/.cmxa used to simplify META files. tree | commitdiff
2001-11-26 Claudio Sacerdoti... .cvsignore and .depend forgot tree | commitdiff
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.