2004-05-26 |
Stefano Zacchiroli | changed /ls method so that regular expressions are... |
tree | commitdiff |
2004-05-25 |
Matteo Selmi | written a new sort function to postpone the resolution... |
tree | commitdiff |
2004-05-24 |
Stefano Zacchiroli | added OO interface |
tree | commitdiff |
2004-05-21 |
Matteo Selmi | Added a sort function to decide the order of theorems... |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | added file locking while writing configuration to file... |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | open Helm_registry per default |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | Changed mapping keys <-> environment variables, mixed... |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | ported to latest ocaml-http API |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | added some nested sections in order to test "ls" method |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | - added "has" method |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | added helm-pxp, now needed |
tree | commitdiff |
2004-05-20 |
Stefano Zacchiroli | added iterators over registry contents (fold, iter... |
tree | commitdiff |
2004-05-18 |
Andrea Asperti | Nuova implementazione di Auto "breadth-first". |
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... | * tactics/Makefile fixed (to remove duplicate .mli... |
tree | commitdiff |
2004-05-18 |
Claudio Sacerdoti... | Bug fixed: the xml:base URL and helm:base URI were... |
tree | commitdiff |
2004-05-17 |
Matteo Selmi | Added a filter for uris in tactic "auto". |
tree | commitdiff |
2004-05-17 |
Stefano Zacchiroli | Added support for xml base(s) URL and URI. The getter... |
tree | commitdiff |
2004-05-17 |
Stefano Zacchiroli | first check in of statefulProofEngine |
tree | commitdiff |
2004-05-17 |
Stefano Zacchiroli | bugfix: remove trailing slashes from dtd_base_urls |
tree | commitdiff |
2004-05-13 |
Ferruccio Guidi | - some code patched |
tree | commitdiff |
2004-05-13 |
Stefano Zacchiroli | changed proofStatus so that uri component is optional... |
tree | commitdiff |
2004-05-10 |
Andrea Asperti | *** empty log message *** |
tree | commitdiff |
2004-05-10 |
Andrea Asperti | Adding file newConstraint |
tree | commitdiff |
2004-05-10 |
Andrea Asperti | Adding file match_concl |
tree | commitdiff |
2004-05-04 |
Stefano Zacchiroli | - moved up in the grammar precedences command entry... |
tree | commitdiff |
2004-05-04 |
Stefano Zacchiroli | removed traliling dot in command pretty printer, now... |
tree | commitdiff |
2004-04-30 |
Stefano Zacchiroli | added Abort and Check commands |
tree | commitdiff |
2004-04-30 |
Stefano Zacchiroli | embedded commands ast into tacticals ast |
tree | commitdiff |
2004-04-30 |
Stefano Zacchiroli | - moved command as sub-entries of tactical grammars... |
tree | commitdiff |
2004-04-29 |
Stefano Zacchiroli | moved here initialization code (previously in gTopLevel... |
tree | commitdiff |
2004-04-29 |
Stefano Zacchiroli | - added a configuration variable for selecting between... |
tree | commitdiff |
2004-04-28 |
Stefano Zacchiroli | added a TODO comment |
tree | commitdiff |
2004-04-28 |
Stefano Zacchiroli | added extra "id" parameter for input_or_locate_uri... |
tree | commitdiff |
2004-04-28 |
Stefano Zacchiroli | - split logic operators away from aritmetic ones so... |
tree | commitdiff |
2004-04-23 |
Claudio Sacerdoti... | gt URL pointed to lt |
tree | commitdiff |
2004-04-23 |
Enrico Tassi | Universes introduction |
tree | commitdiff |
2004-04-22 |
Claudio Sacerdoti... | mathql_interpreter.mysql_connection.* keys added. |
tree | commitdiff |
2004-04-22 |
Stefano Zacchiroli | added (and used) some type shorthands |
tree | commitdiff |
2004-04-22 |
Stefano Zacchiroli | - added some type shorthands |
tree | commitdiff |
2004-04-22 |
Stefano Zacchiroli | rebuit |
tree | commitdiff |
2004-04-22 |
Claudio Sacerdoti... | Patches to generate ?1 : ?2 : Type in place of ?1 ... |
tree | commitdiff |
2004-04-22 |
Enrico Tassi | Big bug fixed: in the case t <?= ?1, the instantiation... |
tree | commitdiff |
2004-04-22 |
Enrico Tassi | fourier.mli addedto interface files. |
tree | commitdiff |
2004-04-22 |
Claudio Sacerdoti... | IMPLEMENTATION_FILES now generated from INTERFACE_FILES. |
tree | commitdiff |
2004-04-22 |
Stefano Zacchiroli | added .cvsignore |
tree | commitdiff |
2004-04-21 |
Stefano Zacchiroli | detect and use {ocamlc,ocamlopt}.opt when they are... |
tree | commitdiff |
2004-04-21 |
Stefano Zacchiroli | exported term_of_uri |
tree | commitdiff |
2004-04-21 |
Stefano Zacchiroli | added helmLibraryObjects.mli mention |
tree | commitdiff |
2004-04-21 |
Stefano Zacchiroli | added .mli |
tree | commitdiff |
2004-04-20 |
Stefano Zacchiroli | got rid of ~status label so that tactics can now be... |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | reorganized metas so that pxp is references only throug... |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | added hbugs' (client) meta |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | generalized META.* ignoring |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | - reordered modules so that pxp could be used as entry... |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | use PxpHelmConf |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | added dep on Helm_registry |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | use PxpHelmConf module |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | - embedded ClientHTTP module (not very nice, but Client... |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | added ExtThread module, ex Hbugs_deity (a Thread module... |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | injected hbugs under ocaml/ dir |
tree | commitdiff |
2004-04-19 |
Stefano Zacchiroli | fixed a typo (inside a comment) |
tree | commitdiff |
2004-04-16 |
Claudio Sacerdoti... | test_equality_only was not used in sort comparison. |
tree | commitdiff |
2004-04-16 |
Stefano Zacchiroli | added 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-16 |
Stefano Zacchiroli | - added sample usage of get_opt method |
tree | commitdiff |
2004-04-15 |
Andrea Asperti | Metasenv added as parameter to eta_fixing. |
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 Zacchiroli | added string_of_html_tag (plain text pretty printer... |
tree | commitdiff |
2004-04-15 |
Stefano Zacchiroli | added support for multiple dtd_base_urls |
tree | commitdiff |
2004-04-14 |
Claudio Sacerdoti... | Bug fixed: the following happened. |
tree | commitdiff |
2004-04-14 |
Stefano Zacchiroli | added exists_meta |
tree | commitdiff |
2004-04-14 |
Ferruccio Guidi | patched |
tree | commitdiff |
2004-04-07 |
Claudio Sacerdoti... | Added flag test_equality_only to are_convertible to... |
tree | commitdiff |
2004-04-07 |
Claudio Sacerdoti... | Added flag test_equality_only to are_convertible (to... |
tree | commitdiff |
2004-04-07 |
Stefano Zacchiroli | added a missing <br> tag |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | implemented save_to |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | - uncommented save_to function (now implemented) |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | added Unix dependency (needed in order to run xmllint) |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | eta_fixing of the CurrentProof metasenv is wrong, since... |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | The parser accepts terms with metavariables as statemen... |
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-06 |
Stefano Zacchiroli | bugfix: local context and canonical context previously... |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | bugfix: the function that abstract constant occurrences... |
tree | commitdiff |
2004-04-06 |
Stefano Zacchiroli | reorganized functions order |
tree | commitdiff |
2004-04-05 |
Stefano Zacchiroli | added html_of_html_tag |
tree | commitdiff |
2004-04-05 |
Claudio Sacerdoti... | URL patching in ENTITY declarations extended to cover... |
tree | commitdiff |
2004-04-05 |
Andrea Asperti | Added a new function in_cache to cicEnvironemt. It... |
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 Zacchiroli | removed an out of date comment |
tree | commitdiff |
2004-04-01 |
Stefano Zacchiroli | added hyperlinks to help message |
tree | commitdiff |
2004-03-31 |
Matteo Selmi | tacticChaser modified to avoid double "apply" and to... |
tree | commitdiff |
2004-03-31 |
Lionel Mamane | Meta files are in METAS subdir |
tree | commitdiff |
next |