]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/getter
...
[helm.git] / helm / ocaml / getter /
2005-07-06 Stefano Zacchiroli- bugfix: correctly handle real "index.theory"
2005-07-06 Stefano Zacchiroliadded index.theory handling
2005-07-06 Stefano Zacchiroliadded backtick function
2005-07-06 Stefano Zacchirolino longer uses Shell library
2005-07-06 Stefano Zacchiroli- updated META dependencies (no more dbm, no more shell)
2005-07-06 Stefano Zacchiroliuses mowgli's getter conffile as sample
2005-07-06 Stefano Zacchirolibugfix: leave ".theory" suffix in place for theory...
2005-07-06 Stefano Zacchirolihelp string in sync with available commands
2005-07-06 Stefano Zacchiroli- handle prefixes on the same line in conffile
2005-07-06 Stefano Zacchiroliadded support for multiple binding of the same prefix...
2005-07-06 Stefano Zacchirolido not .body/.types/.proof_tree files from ls output
2005-07-06 Stefano Zacchiroli- bugfix in cache handling for remote resources
2005-07-06 Stefano Zacchirolibetter exception handling for HTTP errors
2005-07-05 Stefano Zacchirolinew getter implementation: no more DBM maps
2005-07-05 Stefano Zacchirolihandle Not_found exception in extension
2005-07-04 Stefano Zacchiroliadded some utility functions on filename suffixes
2005-06-15 Enrico Tassifix
2005-06-15 Stefano Zacchirolirenamed clientHTTP to http_getter_wget
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd
2005-06-15 Stefano Zacchiroliported to latest registry interface
2005-06-14 Stefano Zacchiroliuses XmlPushParser instead of Pxp for parsing getter...
2005-05-27 Enrico Tassiremoved debug prerr_endline
2005-05-24 Enrico Tassiadded .theory check
2005-05-10 Stefano Zacchiroli- changes defaults of getxml (format gzipped, don't...
2005-04-27 Stefano Zacchiroligetter with in memory tree of URIs
2005-02-04 Enrico Tassifixed Gzip bug in Xml.pp
2005-02-04 Stefano Zacchirolibugfix: handling of local resources (not to be cached...
2005-02-04 Stefano Zacchirolichanged local_url so that it returns the local part...
2005-02-04 Stefano Zacchiroli- removed special handling of universes (no longer...
2005-02-04 Stefano Zacchirolireturn also .types uri in getalluris/
2005-02-04 Stefano Zacchiroli- added init method
2005-02-04 Stefano Zacchirolirebuild
2005-02-04 Stefano Zacchiroli- simplified environment handling:
2005-02-04 Stefano Zacchirolilocal_url predicate (recognize file:// urls)
2005-02-04 Stefano Zacchirolido not cache local resources (i.e. file:// urls)
2005-02-04 Stefano Zacchirolicreate path towards dbm file
2005-02-01 Enrico Tassiadded the unregister method to the help page
2005-01-24 Stefano Zacchiroli- removed ancient debugging prints
2005-01-18 Stefano Zacchiroliread uri from cmdline
2005-01-17 Stefano Zacchiroli- added helm_ns and xhtml_ns (XHTML and HELM namespace...
2004-12-01 Enrico TassiAdded universes handling. The PRE_UNIVERSES tag may...
2004-10-21 Stefano Zacchiroli- API change (renamed some exceptions)
2004-10-13 Andrea Aspertiget_and_save now handles big files properly (i.e. doesn...
2004-10-12 Stefano Zacchiroliported to ocaml-http 0.0.10 (renamed Http_client -...
2004-09-17 Stefano Zacchirolifixed cictheory:/ bug (thanks Lionel for the patch)
2004-09-09 Stefano Zacchiroliported to pxp 1.1.95's event parser
2004-09-09 Stefano Zacchiroliadded hyperlinks for getalluris/ in help message
2004-07-15 Luca Padovani* split evil let definition (ic, oc) = ... into two...
2004-06-09 Claudio Sacerdoti... The normalization of URIs when the DB is empty (or...
2004-06-01 Enrico Tassinew universes implementation
2004-05-31 Claudio Sacerdoti... theory:path/index.theory are not rewritten to theory...
2004-05-30 Claudio Sacerdoti... Back compatibility code introduced:
2004-05-26 Claudio Sacerdoti... Bug fixed: ls?baseuri=(cic|theory):/a/ also returned...
2004-05-26 Stefano Zacchirolibugfix in /ls: removed double trailing "/"
2004-05-26 Stefano Zacchirolichanged /ls method so that regular expressions are...
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories.
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were...
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter...
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls
2004-04-23 Enrico TassiUniverses introduction
2004-04-19 Stefano Zacchiroli- use PxpHelmConf
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface
2004-04-15 Stefano Zacchiroli- fixed dtd_base_urls implementation
2004-04-15 Stefano Zacchiroli- better pretty printing on /update
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls
2004-04-07 Stefano Zacchiroliadded a missing <br> tag
2004-04-06 Stefano Zacchiroli- added test file
2004-04-06 Stefano Zacchiroli- added via_http parameter so that when the getter...
2004-04-06 Stefano Zacchiroli- use polymorphic variants for some configuration param...
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover...
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is...
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use...
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message
2004-03-12 acerioniType of exception changed: from exn to string.
2004-02-26 Stefano Zacchiroli- better handling of temp files wrt to failures. When...
2004-02-24 Claudio Sacerdoti... Added parameter format=text|xml to getalluris.
2004-02-23 Claudio Sacerdoti... A lazy value was put in place of a function ==> the...
2004-02-23 Claudio Sacerdoti... "add_server?position=0" no longer worked (raised an...
2004-02-18 Claudio Sacerdoti... The order IS significative. Changing the order (in...
2004-02-18 Claudio Sacerdoti... typo fixed. Used to break the ls method.
2004-02-12 Ferruccio Guidinew .depend files
2004-02-11 Stefano Zacchiroli- getter revolution: split backend and frontend (this...
2004-01-22 Claudio Sacerdoti... Typo fixed.
2003-12-16 Stefano Zacchiroliuse ocaml-http instead of netclient for http GET requests
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.
2002-08-30 Ferruccio Guidiuser name added to tmp file name
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository.
2001-11-29 Claudio Sacerdoti... * .mli added where needed
2001-11-27 Claudio Sacerdoti... 1) .cma/.cmxa used to simplify META files.
2001-11-26 Claudio Sacerdoti... .cvsignore and .depend forgot
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support.