| 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 |
| 2004-02-17 |
Stefano Zacchiroli | added copyright info
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | removed useless Mpresentation module
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | moved away tactics and tacticals
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | added tactics and tacticals (heavily bugged)
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | added hook for .cma link time options
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | added tactic and tactical (still heavily bugged!!!)
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | fixed typo
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | removed (now useless) connection string line
|
commit | commitdiff | tree |
| 2004-02-17 |
Stefano Zacchiroli | fixed typo
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | bugfix: top level keys now should work
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | - more structured configuration file
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | typo fixed (unbalanced parens)
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | added ocamlinit target which creates a .ocamlinit file
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | solved a precedence issue between binders and arrows
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | do not use tex notation per default (used only by tex...
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | use BoxPp
|
commit | commitdiff | tree |
| 2004-02-16 |
Stefano Zacchiroli | - added arrow notation
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | inductive type ident optional in mutcase
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | added regtest for optional inductive type on mutcase
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | s/pcre/str/
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | split configure.ac in two parts: ocaml and gTopLevel
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | added sample configuration file
|
commit | commitdiff | tree |
| 2004-02-13 |
Stefano Zacchiroli | - added support for variable interpolation
|
commit | commitdiff | tree |
| 2004-02-12 |
Stefano Zacchiroli | removed some anciente debugging messages
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | getter's revolution (now uses backend in ocaml/getter)
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | bugfix: auto_disambiguation is not considered for searchPatt...
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | fixed typo
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | new logger
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | new getter, logger, and the hell
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | new logger, getter, and the hell
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | support for subst
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | new metas (getter's backend, registry, logger, and...
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | ported to new getter (backend)
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | ported to helm registry
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | ported to new logger
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | use debug_print in a debugging message
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | - getter revolution: split backend and frontend (this...
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | - split away gtk logger
|
commit | commitdiff | tree |
| 2004-02-11 |
Stefano Zacchiroli | added some debugging messages
|
commit | commitdiff | tree |
| next |
projects / helm.git / search