]> 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
ocaml 3.09 transition
[helm.git] / helm / ocaml / getter /
2005-11-04 Stefano Zacchiroliadded tilde_expansion of directory settings tree | commitdiff
2005-11-03 Stefano ZacchiroliBug fix: index.theory dereferentiation works also for... tree | commitdiff
2005-10-05 Stefano Zacchirolirebut tree | commitdiff
2005-09-23 Enrico Tassia wrong exception was raised tree | commitdiff
2005-09-06 Stefano Zacchiroliupdated tree | commitdiff
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory" tree | commitdiff
2005-07-06 Stefano Zacchiroliadded index.theory handling tree | commitdiff
2005-07-06 Stefano Zacchiroliadded backtick function tree | commitdiff
2005-07-06 Stefano Zacchirolino longer uses Shell library tree | commitdiff
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell) tree | commitdiff
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample tree | commitdiff
2005-07-06 Stefano Zacchirolibugfix: leave ".theory" suffix in place for theory... tree | commitdiff
2005-07-06 Stefano Zacchirolihelp string in sync with available commands tree | commitdiff
2005-07-06 Stefano Zacchiroli- handle prefixes on the same line in conffile tree | commitdiff
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix... tree | commitdiff
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output tree | commitdiff
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources tree | commitdiff
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors tree | commitdiff
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps tree | commitdiff
2005-07-05 Stefano Zacchirolihandle Not_found exception in extension tree | commitdiff
2005-07-04 Stefano Zacchiroliadded some utility functions on filename suffixes tree | commitdiff
2005-06-15 Enrico Tassifix tree | commitdiff
2005-06-15 Stefano Zacchirolirenamed clientHTTP to http_getter_wget tree | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd tree | commitdiff
2005-06-15 Stefano Zacchiroliported to latest registry interface tree | commitdiff
2005-06-14 Stefano Zacchiroliuses XmlPushParser instead of Pxp for parsing getter... tree | commitdiff
2005-05-27 Enrico Tassiremoved debug prerr_endline tree | commitdiff
2005-05-24 Enrico Tassiadded .theory check tree | commitdiff
2005-05-10 Stefano Zacchiroli- changes defaults of getxml (format gzipped, don't... tree | commitdiff
2005-04-27 Stefano Zacchiroligetter with in memory tree of URIs tree | commitdiff
2005-02-04 Enrico Tassifixed Gzip bug in Xml.pp tree | commitdiff
2005-02-04 Stefano Zacchirolibugfix: handling of local resources (not to be cached... tree | commitdiff
2005-02-04 Stefano Zacchirolichanged local_url so that it returns the local part... tree | commitdiff
2005-02-04 Stefano Zacchiroli- removed special handling of universes (no longer... tree | commitdiff
2005-02-04 Stefano Zacchirolireturn also .types uri in getalluris/ tree | commitdiff
2005-02-04 Stefano Zacchiroli- added init method tree | commitdiff
2005-02-04 Stefano Zacchirolirebuild tree | commitdiff
2005-02-04 Stefano Zacchiroli- simplified environment handling: tree | commitdiff
2005-02-04 Stefano Zacchirolilocal_url predicate (recognize file:// urls) tree | commitdiff
2005-02-04 Stefano Zacchirolido not cache local resources (i.e. file:// urls) tree | commitdiff
2005-02-04 Stefano Zacchirolicreate path towards dbm file tree | commitdiff
2005-02-01 Enrico Tassiadded the unregister method to the help page tree | commitdiff
2005-01-24 Stefano Zacchiroli- removed ancient debugging prints tree | commitdiff
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.