| 2005-10-25 |
Stefano Zacchiroli | "better" (????) identification of assertion failures
|
commit | commitdiff | tree |
| 2005-10-24 |
Stefano Zacchiroli | new semantics, should be the basis for the (re-)implementation
|
commit | commitdiff | tree |
| 2005-10-11 |
Stefano Zacchiroli | added goals_of_proof
|
commit | commitdiff | tree |
| 2005-10-11 |
Stefano Zacchiroli | added list_concat
|
commit | commitdiff | tree |
| 2005-10-10 |
Stefano Zacchiroli | added level2 <-> level3 transformations
|
commit | commitdiff | tree |
| 2005-10-10 |
Stefano Zacchiroli | - added stack frame tagging
|
commit | commitdiff | tree |
| 2005-10-07 |
Stefano Zacchiroli | added -nodb support
|
commit | commitdiff | tree |
| 2005-10-07 |
Stefano Zacchiroli | added support for MATITA_FLAGS and NODB make variables
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | changed functor interface, now based on proofs instead...
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | ignore usual *tex crap
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | added Makefile
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | completed instantiatian of level 2 patterns from level 1
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | bugfix: avoid diversion in "make opt"
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | - better naming
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | first check in of continuationals implementation
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | in the end: ... proper handling of multiple bindings...
|
commit | commitdiff | tree |
| 2005-10-06 |
Stefano Zacchiroli | bugfix: multiple bindings of the same key work again
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | completed support for "-nodb", now also matitaclean...
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | s/commands_of_domain_and_codomain_items_list/aliases_of_doma...
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | added metadata "commands"
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | uncommented find_cic_appl_pattern_uris
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | added find
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | removed debug saving of "foo.conf.xml"
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | - added support for "-nodb" flag (still missing support...
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | separated "]]" to avoid clash with (temporary) continuationa...
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | added MATITA_FLAGS support
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | added hmysql dependency
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | - "load_from" no longer clears the previous registry...
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | rebut
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | added hmysql
|
commit | commitdiff | tree |
| 2005-10-05 |
Stefano Zacchiroli | moved hmysql to a separate module
|
commit | commitdiff | tree |
| 2005-10-04 |
Stefano Zacchiroli | added filter_map
|
commit | commitdiff | tree |
| 2005-10-03 |
Stefano Zacchiroli | restated ...
|
commit | commitdiff | tree |
| 2005-09-30 |
Stefano Zacchiroli | - fixed some metasenv issues
|
commit | commitdiff | tree |
| 2005-09-30 |
Stefano Zacchiroli | fixed some (more) typos
|
commit | commitdiff | tree |
| 2005-09-30 |
Stefano Zacchiroli | fixed some typos
|
commit | commitdiff | tree |
| 2005-09-30 |
Stefano Zacchiroli | continuationals semantics: first draft
|
commit | commitdiff | tree |
| 2005-09-29 |
Stefano Zacchiroli | moved a (commented) test in a handier position
|
commit | commitdiff | tree |
| 2005-09-28 |
Stefano Zacchiroli | better precedence handling, should remove useless parens
|
commit | commitdiff | tree |
| 2005-09-28 |
Stefano Zacchiroli | spotted missing times notation
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | fixed some english typos
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | changed precedence/associativeness handling: relative...
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | added/exported pp_pos & pp_attribute
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | removed .annot files (files containing type annotations...
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | more fine grained debug printing
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | changed type of ids_to_uris table to (Cic.id, UriManager...
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | Better handling of idref propagation, no more Href...
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | moved list_uniq to the extlib
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | added support for multiple idrefs
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | added list_uniq
|
commit | commitdiff | tree |
| 2005-09-27 |
Stefano Zacchiroli | completed use of \mod and / notation
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | fixed typo
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | strip heading '\' on Mo s
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | removed some dead code
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | if a node has an xref use it for cut and paste, no...
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | function composition notation
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | div and mod notation ('%' and '\mod')
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | added override for \circ (notation for function composition)
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | added binary version of coq.moo and the corresponding...
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | removed textual version of coq's moo file
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | changed default divide notation to a/b
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | bugfix: reash uris embedded in cic appl patterns
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | - added integrity checks on .moo files
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | better name for a theorem
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | added magic numbers
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | set extlib findlib dependencies
|
commit | commitdiff | tree |
| 2005-09-26 |
Stefano Zacchiroli | implemented the first bunch of useful functions
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | changed .moo format on disk: no longer plain strings...
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | bugfix: evaluation of object commands is now atomic...
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | "verbose" argument of remove is now optional (default...
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | avoid generating useless parens in mathml contextes...
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | removed a line of dead code
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | avoid pattern matching on attributed terms since this...
|
commit | commitdiff | tree |
| 2005-09-23 |
Stefano Zacchiroli | bugfix for uminus notation, prints parens where needed
|
commit | commitdiff | tree |
| 2005-09-21 |
Stefano Zacchiroli | ported to the new parser interface (Ulexing.lexbuf...
|
commit | commitdiff | tree |
| 2005-09-21 |
Stefano Zacchiroli | uses ligatures (as a sample)
|
commit | commitdiff | tree |
| 2005-09-21 |
Stefano Zacchiroli | added ligatures support
|
commit | commitdiff | tree |
| 2005-09-21 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | added non-builtin notation for exists
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | pretty printing of literals is now subject to the debug...
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists, now an 'exists...
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | bugfix in default magic handling: consider as having...
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | - bugfix: eta abstractions ignores attributed node...
|
commit | commitdiff | tree |
| 2005-09-20 |
Stefano Zacchiroli | more refere to bindings in env type definition
|
commit | commitdiff | tree |
| 2005-09-19 |
Stefano Zacchiroli | added list.ma
|
commit | commitdiff | tree |
| 2005-09-19 |
Stefano Zacchiroli | - avoid catching top level exceptions when the relevant...
|
commit | commitdiff | tree |
| 2005-09-19 |
Stefano Zacchiroli | splitted command line arguments among debugging and...
|
commit | commitdiff | tree |
| 2005-09-19 |
Stefano Zacchiroli | - added support for -debug, which avoid catching top...
|
commit | commitdiff | tree |
| 2005-09-19 |
Stefano Zacchiroli | - bugfix: when backtracking restore the appropriate...
|
commit | commitdiff | tree |
| 2005-09-16 |
Stefano Zacchiroli | added notation for: nleq, ngeq, nless, and ngtr
|
commit | commitdiff | tree |
| 2005-09-16 |
Stefano Zacchiroli | added notation for nleq, nlgt, ...
|
commit | commitdiff | tree |
| 2005-09-16 |
Stefano Zacchiroli | added entites/overrides for leq, geq, nleq, ngeq, to
|
commit | commitdiff | tree |
| 2005-09-16 |
Stefano Zacchiroli | re-generated
|
commit | commitdiff | tree |
| 2005-09-16 |
Stefano Zacchiroli | uses Hashtbl.replace instead of Hashtbl.add so that:
|
commit | commitdiff | tree |
| 2005-09-15 |
Stefano Zacchiroli | improved discriminate test: check if it works on inductive...
|
commit | commitdiff | tree |
| 2005-09-15 |
Stefano Zacchiroli | bugfix in discriminate: now works also with inductive...
|
commit | commitdiff | tree |
| 2005-09-15 |
Stefano Zacchiroli | added \neq notation
|
commit | commitdiff | tree |
| 2005-09-15 |
Stefano Zacchiroli | bugfix: save "~" backup together with the non-~ version...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search