]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES.
2004-04-22 Stefano Zacchiroliadded .cvsignore
2004-04-21 Stefano Zacchirolidetects and uses {ocamlc,ocamlopt}.opt when available
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are...
2004-04-21 Stefano Zacchiroliexported term_of_uri
2004-04-21 Stefano Zacchiroliadded helmLibraryObjects.mli mention
2004-04-21 Stefano Zacchiroliadded .mli
2004-04-20 Stefano Zacchiroligot rid of a ~status label
2004-04-20 Stefano Zacchiroligot rid of ~status label
2004-04-20 Stefano Zacchiroligot rid of ~status label so that tactics can now be...
2004-04-20 Stefano Zacchiroliadded ocamlfind library checks to configure.ac
2004-04-20 Stefano Zacchirolirenamed mathita to matita
2004-04-20 Stefano Zacchirolisnapshot
2004-04-19 Stefano Zacchiroliignore Makefile since now it's generated by configure
2004-04-19 Stefano Zacchiroliadded Makefile.in
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-04-19 Stefano Zacchiroli- reordered modules so that pxp could be used as entry...
2004-04-19 Stefano Zacchiroli- use PxpHelmConf
2004-04-19 Stefano Zacchiroli- use PxpHelmConf
2004-04-19 Stefano Zacchiroliuse PxpHelmConf
2004-04-19 Stefano Zacchiroliadded dep on Helm_registry
2004-04-19 Stefano Zacchiroliuse PxpHelmConf module
2004-04-19 Stefano Zacchiroli- use PxpHelmConf
2004-04-19 Stefano Zacchiroli- embedded ClientHTTP module (not very nice, but Client...
2004-04-19 Stefano Zacchiroliadded ExtThread module, ex Hbugs_deity (a Thread module...
2004-04-19 Stefano Zacchiroliinjected hbugs under ocaml/ dir
2004-04-19 Stefano Zacchirolimoved hbugs under ocaml/
2004-04-19 Stefano Zacchirolifixed a typo (inside a comment)
2004-04-16 Claudio Sacerdoti... test_equality_only was not used in sort comparison.
2004-04-16 Stefano Zacchiroliuse respawner
2004-04-16 Stefano Zacchirolichanged logging message
2004-04-16 Stefano Zacchiroliremoved deprecated uwobo_forever.sh
2004-04-16 Stefano Zacchiroliremoved tedious "_mowgli" postfix
2004-04-16 Stefano Zacchiroliuse new daemon_respawner.sh
2004-04-16 Stefano Zacchirolifixed some typos in sample init.d
2004-04-16 Stefano Zacchiroliadded generic daemon respawner
2004-04-16 Stefano Zacchiroliscript deprecated
2004-04-16 Stefano Zacchiroliadded newline to log when log_file is in use
2004-04-16 Stefano Zacchiroli- addead autoconf-iguration. Actually it only set the...
2004-04-16 Stefano Zacchiroli- use new logger interface
2004-04-16 Stefano Zacchiroli- rewritten http_getter logger interface
2004-04-16 Stefano Zacchiroli- added sample usage of get_opt method
2004-04-15 Andrea AspertiMetasenv added as parameter to eta_fixing.
2004-04-15 Stefano Zacchirolis/dtd_base_url/dtd_base_urls/
2004-04-15 Stefano Zacchiroli- better pretty printing of exceptions (added red color)
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 string_of_html_tag (plain text pretty printer...
2004-04-15 Stefano Zacchiroliadded support for multiple dtd_base_urls
2004-04-14 Ferruccio Guidiupdating all sections
2004-04-14 Ferruccio Guidipatched
2004-04-14 Claudio Sacerdoti... Bug fixed: the following happened.
2004-04-14 Stefano Zacchiroliadded exists_meta
2004-04-14 Ferruccio Guidipatched
2004-04-13 Ferruccio Guidiupdating the introduction
2004-04-09 Stefano Zacchiroliported to latest polymorphic variant types
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible to...
2004-04-07 Claudio Sacerdoti... Added flag test_equality_only to are_convertible (to...
2004-04-07 Stefano Zacchiroliadded a missing <br> tag
2004-04-06 Stefano Zacchiroliimplemented save_to
2004-04-06 Stefano Zacchiroli- uncommented save_to function (now implemented)
2004-04-06 Stefano Zacchiroliadded Unix dependency (needed in order to run xmllint)
2004-04-06 Stefano Zacchirolieta_fixing of the CurrentProof metasenv is wrong, since...
2004-04-06 Stefano ZacchiroliThe parser accepts terms with metavariables as statemen...
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-06 Stefano Zacchirolibugfix: local context and canonical context previously...
2004-04-06 Stefano Zacchirolibugfix: the function that abstract constant occurrences...
2004-04-06 Stefano Zacchirolireorganized functions order
2004-04-05 Claudio Sacerdoti... http_getter.conf.xml ==> /projects/helm/etc/http_getter...
2004-04-05 Stefano Zacchiroliadded html_of_html_tag
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover...
2004-04-05 Claudio Sacerdoti... XHTML character entities (used in the internal subset...
2004-04-05 Andrea AspertiAdded a new function in_cache to cicEnvironemt. It...
2004-04-04 Claudio Sacerdoti... ht:DEFINITION/Definition differentiated into
2004-04-02 Stefano Zacchirolis/per_user_settings/user_settings/ for consistency...
2004-04-02 Stefano Zacchiroli- logging of long-running actions (like update) is...
2004-04-01 Stefano Zacchiroliremoved no longer needed password from connection string
2004-04-01 Stefano Zacchiroli- added "Host:" line to http requests so that virtual...
2004-04-01 Stefano Zacchiroli- removed http_get/http_get_iter implementations, use...
2004-04-01 Claudio Sacerdoti... <VARIABLE as="LocalFact"/> added
2004-04-01 Stefano Zacchiroliremoved an out of date comment
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message
2004-04-01 Stefano Zacchiroliremoved out of date configuration file
2004-03-31 Matteo SelmitacticChaser modified to avoid double "apply" and to...
2004-03-31 Lionel MamaneMeta files are in METAS subdir
2004-03-31 Lionel MamaneInstall to findlib-defined dest dir, not to stdlib dir
2004-03-30 Claudio Sacerdoti... - provastruct.theory.xml removed (what was that exactly?)
2004-03-28 Ferruccio Guidiupdating and structuring
2004-03-26 Claudio Sacerdoti... Algebra => CoRN
2004-03-26 Claudio Sacerdoti... tex notation enabled
2004-03-25 Luca Padovani* the .o files to be used in the dll are now taken...
2004-03-24 Stefano ZacchiroliCSC: hack to make applications of constants that have...
2004-03-24 Luca Padovani* added embedding test (HTML)
2004-03-24 Luca Padovani* added TODO file
2004-03-23 Luca Padovani* added test with MathML really embedded within HTML
2004-03-23 Luca Padovani* implemented click so that the browser is notified...
next