| 2004-07-27 |
Stefano Zacchiroli | ported to ocaml 3.08
|
commit | commitdiff | tree |
| 2004-07-26 |
Stefano Zacchiroli | ported debian stuff to ocaml 3.08
|
commit | commitdiff | tree |
| 2004-07-05 |
Stefano Zacchiroli | Bug fixed: beta_expand did not perform any recursion...
|
commit | commitdiff | tree |
| 2004-07-05 |
Stefano Zacchiroli | commeted out some debugging instructions
|
commit | commitdiff | tree |
| 2004-07-05 |
Stefano Zacchiroli | commented out some debugging instructions
|
commit | commitdiff | tree |
| 2004-07-01 |
Stefano Zacchiroli | New handling of substitution:
|
commit | commitdiff | tree |
| 2004-07-01 |
Stefano Zacchiroli | added (commented) benchmarking code for the disambiguation...
|
commit | commitdiff | tree |
| 2004-06-22 |
Stefano Zacchiroli | ugliness changes:
|
commit | commitdiff | tree |
| 2004-06-17 |
Stefano Zacchiroli | bugfix: ignore proof checker output
|
commit | commitdiff | tree |
| 2004-06-16 |
Stefano Zacchiroli | in the particular case of simple searches, Andrea atmost...
|
commit | commitdiff | tree |
| 2004-05-26 |
Stefano Zacchiroli | bugfix in /ls: removed double trailing "/"
|
commit | commitdiff | tree |
| 2004-05-26 |
Stefano Zacchiroli | ported to regexp based /ls method
|
commit | commitdiff | tree |
| 2004-05-26 |
Stefano Zacchiroli | changed /ls method so that regular expressions are...
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | don't remove documentation on "make dist" so that documentat...
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | added hostname resolution entry
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | implemented hostname resolution for "addr" parameter
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | rewritten "start" comment, now is almost decent
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | emptied implementing all items
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | removed spurious messages
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | - ported to latest API
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | - added basic_auth.ml example
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | debian snapshot (towards a release)
|
commit | commitdiff | tree |
| 2004-05-24 |
Stefano Zacchiroli | added OO interface
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | added file locking while writing configuration to file...
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | open Helm_registry per default
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | bumped copyright years
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | Changed mapping keys <-> environment variables, mixed...
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | ported to latest ocaml-http API
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | ported to latest ocaml-http API
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | reverted code parameter on respond function to its...
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | ported to latest ocaml-http API
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | written entry for 0.0.9
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | restyled API so that respond_* are statically typechecked
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | - changed API so that respond_* are statically type...
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | added support for HEAD requests
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | http basic authentication example
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | added support for HTTP (Basic) authentication
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | - added support for HTTP (Basic) authentication
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | added some nested sections in order to test "ls" method
|
commit | commitdiff | tree |
| 2004-05-20 |
Stefano Zacchiroli | - added "has" method
|
commit | commitdiff | tree |
| 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 |
| next |
projects / helm.git / search