]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml
* it is now possible to set multiple parameters upon creation (or cloning)
[helm.git] / helm / ocaml /
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-25 Matteo Selmiwritten a new sort function to postpone the resolution...
2004-05-24 Stefano Zacchiroliadded OO interface
2004-05-21 Matteo SelmiAdded a sort function to decide the order of theorems...
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file...
2004-05-20 Stefano Zacchiroliopen Helm_registry per default
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed...
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-20 Stefano Zacchiroliadded some nested sections in order to test "ls" method
2004-05-20 Stefano Zacchiroli- added "has" method
2004-05-20 Stefano Zacchiroliadded helm-pxp, now needed
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter...
2004-05-18 Andrea AspertiNuova implementazione di Auto "breadth-first".
2004-05-18 Claudio Sacerdoti... xml:base and helm:base are now generated only for theories.
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli...
2004-05-18 Claudio Sacerdoti... Bug fixed: the xml:base URL and helm:base URI were...
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto".
2004-05-17 Stefano ZacchiroliAdded support for xml base(s) URL and URI. The getter...
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine
2004-05-17 Stefano Zacchirolibugfix: remove trailing slashes from dtd_base_urls
2004-05-13 Ferruccio Guidi- some code patched
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional...
2004-05-10 Andrea Asperti*** empty log message ***
2004-05-10 Andrea AspertiAdding file newConstraint
2004-05-10 Andrea AspertiAdding file match_concl
2004-05-04 Stefano Zacchiroli- moved up in the grammar precedences command entry...
2004-05-04 Stefano Zacchiroliremoved traliling dot in command pretty printer, now...
2004-04-30 Stefano Zacchiroliadded Abort and Check commands
2004-04-30 Stefano Zacchiroliembedded commands ast into tacticals ast
2004-04-30 Stefano Zacchiroli- moved command as sub-entries of tactical grammars...
2004-04-29 Stefano Zacchirolimoved here initialization code (previously in gTopLevel...
2004-04-29 Stefano Zacchiroli- added a configuration variable for selecting between...
2004-04-28 Stefano Zacchiroliadded a TODO comment
2004-04-28 Stefano Zacchiroliadded extra "id" parameter for input_or_locate_uri...
2004-04-28 Stefano Zacchiroli- split logic operators away from aritmetic ones so...
2004-04-23 Claudio Sacerdoti... gt URL pointed to lt
2004-04-23 Enrico TassiUniverses introduction
2004-04-22 Claudio Sacerdoti... mathql_interpreter.mysql_connection.* keys added.
2004-04-22 Stefano Zacchiroliadded (and used) some type shorthands
2004-04-22 Stefano Zacchiroli- added some type shorthands
2004-04-22 Stefano Zacchirolirebuit
2004-04-22 Claudio Sacerdoti... Patches to generate ?1 : ?2 : Type in place of ?1 ...
2004-04-22 Enrico TassiBig bug fixed: in the case t <?= ?1, the instantiation...
2004-04-22 Enrico Tassifourier.mli addedto interface files.
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES.
2004-04-22 Stefano Zacchiroliadded .cvsignore
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 ~status label so that tactics can now be...
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 Zacchirolifixed a typo (inside a comment)
2004-04-16 Claudio Sacerdoti... test_equality_only was not used in sort comparison.
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-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 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 Claudio Sacerdoti... Bug fixed: the following happened.
2004-04-14 Stefano Zacchiroliadded exists_meta
2004-04-14 Ferruccio Guidipatched
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 Stefano Zacchiroliadded html_of_html_tag
2004-04-05 Claudio Sacerdoti... URL patching in ENTITY declarations extended to cover...
2004-04-05 Andrea AspertiAdded a new function in_cache to cicEnvironemt. It...
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 Zacchiroliremoved an out of date comment
2004-04-01 Stefano Zacchiroliadded hyperlinks to help message
next