| 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 |
| 2004-04-01 |
Stefano Zacchiroli | removed an out of date comment
|
commit | commitdiff | tree |
| 2004-04-01 |
Stefano Zacchiroli | added hyperlinks to help message
|
commit | commitdiff | tree |
| 2004-04-01 |
Stefano Zacchiroli | removed out of date configuration file
|
commit | commitdiff | tree |
| 2004-03-24 |
Stefano Zacchiroli | CSC: hack to make applications of constants that have...
|
commit | commitdiff | tree |
| 2004-03-22 |
Stefano Zacchiroli | cosmetic alignment change
|
commit | commitdiff | tree |
| 2004-03-22 |
Stefano Zacchiroli | - implemented real thread killing (in place of the...
|
commit | commitdiff | tree |
| 2004-03-14 |
Stefano Zacchiroli | added final version of the paper (for the records)
|
commit | commitdiff | tree |
| 2004-03-14 |
Stefano Zacchiroli | talk committed
|
commit | commitdiff | tree |
| 2004-03-02 |
Stefano Zacchiroli | - ported to latest CicAst.Ident format (Some [] <>...
|
commit | commitdiff | tree |
| 2004-03-02 |
Stefano Zacchiroli | differentieted empty substitution list from no substitution...
|
commit | commitdiff | tree |
| 2004-03-02 |
Stefano Zacchiroli | - regtest now handles more than one interpretation...
|
commit | commitdiff | tree |
| 2004-03-02 |
Stefano Zacchiroli | added cast concrete syntax
|
commit | commitdiff | tree |
| 2004-02-26 |
Stefano Zacchiroli | - better handling of temp files wrt to failures. When...
|
commit | commitdiff | tree |
| 2004-02-26 |
Stefano Zacchiroli | added support for commands and scripts
|
commit | commitdiff | tree |
| 2004-02-26 |
Stefano Zacchiroli | added vim modeline for encoding=utf8
|
commit | commitdiff | tree |
| 2004-02-26 |
Stefano Zacchiroli | added command and script ASTs with _debugging_only_...
|
commit | commitdiff | tree |
| 2004-02-24 |
Stefano Zacchiroli | added mathitaGui.mli
|
commit | commitdiff | tree |
| 2004-02-24 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-02-24 |
Stefano Zacchiroli | added functions and uris for binary {positive,integer}
|
commit | commitdiff | tree |
| 2004-02-24 |
Stefano Zacchiroli | added binary {positive,integer} notation
|
commit | commitdiff | tree |
| 2004-02-24 |
Stefano Zacchiroli | - added support for boolean parameters
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | added a space between term and "using" keyword
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | commented out a debugging message
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | bugfix in "elim ... using" tactical ("using" is a keyword)
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | added a lot of notation: arithmetic operators, relational...
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | Rinv typo fix
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | support optional keys in configuration file
|
commit | commitdiff | tree |
| 2004-02-23 |
Stefano Zacchiroli | removed password entry, now uses "helm" user (read...
|
commit | commitdiff | tree |
| 2004-02-20 |
Stefano Zacchiroli | first check in of mathita gui
|
commit | commitdiff | tree |
| 2004-02-20 |
Stefano Zacchiroli | bugfix: "in" is an IDENT, not a keyword
|
commit | commitdiff | tree |
| 2004-02-18 |
Stefano Zacchiroli | - better error message on "unknown identifier"
|
commit | commitdiff | tree |
| 2004-02-18 |
Stefano Zacchiroli | fixed cosmetic typos during pretty printing
|
commit | commitdiff | tree |
| 2004-02-18 |
Stefano Zacchiroli | - bugfix in term grammar: lowered precedence level...
|
commit | commitdiff | tree |
| 2004-02-18 |
Stefano Zacchiroli | catch parse error exception and show them to the user...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search