| 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 |
| 2004-02-10 |
Stefano Zacchiroli | added "'" as a valid (continuation) identifier character
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | added thread entry
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | added netstring and pxp deps
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | helm-thread's META
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | thread library (actually contains just ThreadSafe module)
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | - added environment variable overriding
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | split into two major parts:
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | bumped version (tag soon)
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | no longer use marshalled table for unicode macros
|
commit | commitdiff | tree |
| 2004-02-09 |
Stefano Zacchiroli | use CicAstPp
|
commit | commitdiff | tree |
| 2004-02-07 |
Stefano Zacchiroli | - added options "-vars" and "-varsprefix"
|
commit | commitdiff | tree |
| 2004-02-07 |
Stefano Zacchiroli | changed deps since testlibrary now uses (minimally...
|
commit | commitdiff | tree |
| 2004-02-07 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | added annotations to Cic.Implicit
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | use ledit for debugging
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | added Format-library-friendly pretty printers defined...
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | added -g flag to ocamlc per default
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | textual term editor is now the default one
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | ignore .debug_script (used by Makefile's debug target)
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | - split regtest/testlibrary/gTopLevel objects so that...
|
commit | commitdiff | tree |
| 2004-02-06 |
Stefano Zacchiroli | added testlibrary.opt and some cm****
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | - added support for multiple choices
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | better output format
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | flush stdout after print_string
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | debug prints on stderr
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | removed duplicated entry about freshNamesGenerator
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | - added testlibrary .opts
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | added \to notation for anonymous binders Pi and Lambda
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | bugfix: use rev_uniq also on non-located term
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | added html_of_html_msg
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | added freshNameGenerator
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | added testlibrary script
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | use a dummy location when no location is provided
|
commit | commitdiff | tree |
| 2004-02-05 |
Stefano Zacchiroli | added ( ) notation for binders
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | removed a debugging message
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | - improved some error messages
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | moved here CicAst and pretty printer
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | ported to CicAst
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | - sorted domain which hopefully avoids exponential...
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | moved Ast in cic_transformations/
|
commit | commitdiff | tree |
| 2004-02-04 |
Stefano Zacchiroli | - added support for implicit in concrete syntax
|
commit | commitdiff | tree |
| 2004-02-03 |
Stefano Zacchiroli | - comment inside .test file that explain what follows
|
commit | commitdiff | tree |
| 2004-02-03 |
Stefano Zacchiroli | added cleantest target (removes tests/*.test)
|
commit | commitdiff | tree |
| 2004-02-03 |
Stefano Zacchiroli | catch just AssertFailure instead of _ (AssertFailure...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search