| 2004-05-20 |
Stefano Zacchiroli | added helm-pxp, now needed
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | expanded content of old topfind
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | no longer needed
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | added iterators over registry contents (fold, iter...
|
commit | commitdiff | tree |
| 2004-05-17 |
Stefano Zacchiroli | Added support for xml base(s) URL and URI. The getter...
|
commit | commitdiff | tree |
| 2004-05-17 |
Stefano Zacchiroli | first check in of statefulProofEngine
|
commit | commitdiff | tree |
| 2004-05-17 |
Stefano Zacchiroli | bugfix: remove trailing slashes from dtd_base_urls
|
commit | commitdiff | tree |
| 2004-05-13 |
Stefano Zacchiroli | changed proofStatus so that uri component is optional...
|
commit | commitdiff | tree |
| 2004-05-04 |
Stefano Zacchiroli | snapshot (notably: first working version of the console)
|
commit | commitdiff | tree |
| 2004-05-04 |
Stefano Zacchiroli | - moved up in the grammar precedences command entry...
|
commit | commitdiff | tree |
| 2004-05-04 |
Stefano Zacchiroli | removed traliling dot in command pretty printer, now...
|
commit | commitdiff | tree |
| 2004-04-30 |
Stefano Zacchiroli | added Abort and Check commands
|
commit | commitdiff | tree |
| 2004-04-30 |
Stefano Zacchiroli | embedded commands ast into tacticals ast
|
commit | commitdiff | tree |
| 2004-04-30 |
Stefano Zacchiroli | - moved command as sub-entries of tactical grammars...
|
commit | commitdiff | tree |
| 2004-04-30 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-29 |
Stefano Zacchiroli | - moved applyTransformation initialization code to...
|
commit | commitdiff | tree |
| 2004-04-29 |
Stefano Zacchiroli | moved here initialization code (previously in gTopLevel...
|
commit | commitdiff | tree |
| 2004-04-29 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-29 |
Stefano Zacchiroli | - added a configuration variable for selecting between...
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | added a TODO comment
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | added extra "id" parameter for input_or_locate_uri...
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | - split logic operators away from aritmetic ones so...
|
commit | commitdiff | tree |
| 2004-04-28 |
Stefano Zacchiroli | removed file:// prefix from local_library key, hopefully...
|
commit | commitdiff | tree |
| 2004-04-23 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | added (and used) some type shorthands
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | - added some type shorthands
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | rebuit
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | added /help method (needed by respawner)
|
commit | commitdiff | tree |
| 2004-04-22 |
Stefano Zacchiroli | added .cvsignore
|
commit | commitdiff | tree |
| 2004-04-21 |
Stefano Zacchiroli | detects and uses {ocamlc,ocamlopt}.opt when available
|
commit | commitdiff | tree |
| 2004-04-21 |
Stefano Zacchiroli | detect and use {ocamlc,ocamlopt}.opt when they are...
|
commit | commitdiff | tree |
| 2004-04-21 |
Stefano Zacchiroli | exported term_of_uri
|
commit | commitdiff | tree |
| 2004-04-21 |
Stefano Zacchiroli | added helmLibraryObjects.mli mention
|
commit | commitdiff | tree |
| 2004-04-21 |
Stefano Zacchiroli | added .mli
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | got rid of a ~status label
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | got rid of ~status label
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | got rid of ~status label so that tactics can now be...
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | added ocamlfind library checks to configure.ac
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | renamed mathita to matita
|
commit | commitdiff | tree |
| 2004-04-20 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | ignore Makefile since now it's generated by configure
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | added Makefile.in
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | reorganized metas so that pxp is references only through...
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | added hbugs' (client) meta
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | generalized META.* ignoring
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | - reordered modules so that pxp could be used as entry...
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | use PxpHelmConf
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | added dep on Helm_registry
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | use PxpHelmConf module
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | - use PxpHelmConf
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | - embedded ClientHTTP module (not very nice, but ClientHTTP...
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | added ExtThread module, ex Hbugs_deity (a Thread module...
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | injected hbugs under ocaml/ dir
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | moved hbugs under ocaml/
|
commit | commitdiff | tree |
| 2004-04-19 |
Stefano Zacchiroli | fixed a typo (inside a comment)
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | use respawner
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | changed logging message
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | removed deprecated uwobo_forever.sh
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | removed tedious "_mowgli" postfix
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | use new daemon_respawner.sh
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | fixed some typos in sample init.d
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | added generic daemon respawner
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | script deprecated
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | added newline to log when log_file is in use
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | - addead autoconf-iguration. Actually it only set the...
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | - use new logger interface
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | - rewritten http_getter logger interface
|
commit | commitdiff | tree |
| 2004-04-16 |
Stefano Zacchiroli | - added sample usage of get_opt method
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | s/dtd_base_url/dtd_base_urls/
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | - better pretty printing of exceptions (added red color)
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | - fixed dtd_base_urls implementation
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | - better pretty printing on /update
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | added string_of_html_tag (plain text pretty printer...
|
commit | commitdiff | tree |
| 2004-04-15 |
Stefano Zacchiroli | added support for multiple dtd_base_urls
|
commit | commitdiff | tree |
| 2004-04-14 |
Stefano Zacchiroli | added exists_meta
|
commit | commitdiff | tree |
| 2004-04-09 |
Stefano Zacchiroli | ported to latest polymorphic variant types
|
commit | commitdiff | tree |
| 2004-04-07 |
Stefano Zacchiroli | added a missing <br> tag
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | implemented save_to
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | - uncommented save_to function (now implemented)
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | added Unix dependency (needed in order to run xmllint)
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | eta_fixing of the CurrentProof metasenv is wrong, since...
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | The parser accepts terms with metavariables as statements...
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | - added test file
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | - added via_http parameter so that when the getter...
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | - use polymorphic variants for some configuration parameters
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | bugfix: local context and canonical context previously...
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | bugfix: the function that abstract constant occurrences...
|
commit | commitdiff | tree |
| 2004-04-06 |
Stefano Zacchiroli | reorganized functions order
|
commit | commitdiff | tree |
| 2004-04-05 |
Stefano Zacchiroli | added html_of_html_tag
|
commit | commitdiff | tree |
| 2004-04-02 |
Stefano Zacchiroli | s/per_user_settings/user_settings/ for consistency...
|
commit | commitdiff | tree |
| 2004-04-02 |
Stefano Zacchiroli | - logging of long-running actions (like update) is...
|
commit | commitdiff | tree |
| 2004-04-01 |
Stefano Zacchiroli | removed no longer needed password from connection string
|
commit | commitdiff | tree |
| 2004-04-01 |
Stefano Zacchiroli | - added "Host:" line to http requests so that virtual...
|
commit | commitdiff | tree |
| 2004-04-01 |
Stefano Zacchiroli | - removed http_get/http_get_iter implementations, use...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search