| 2005-11-15 |
Stefano Zacchiroli | tex macros, checked in disambiguation section from...
|
commit | commitdiff | tree |
| 2005-11-14 |
Stefano Zacchiroli | bugfix, use database name
|
commit | commitdiff | tree |
| 2005-11-14 |
Stefano Zacchiroli | first draft of db filling script
|
commit | commitdiff | tree |
| 2005-11-10 |
Stefano Zacchiroli | paper skeleton
|
commit | commitdiff | tree |
| 2005-11-10 |
Stefano Zacchiroli | added Makefile, llncs style, cvsignore
|
commit | commitdiff | tree |
| 2005-11-07 |
Stefano Zacchiroli | changed script actions keybindings: s/CTRL-XXX/CTRL...
|
commit | commitdiff | tree |
| 2005-11-07 |
Stefano Zacchiroli | bugfix: no longer raise End_of_file for scripts ending...
|
commit | commitdiff | tree |
| 2005-11-07 |
Stefano Zacchiroli | list sorting (to be completed ...)
|
commit | commitdiff | tree |
| 2005-11-07 |
Stefano Zacchiroli | added tail function
|
commit | commitdiff | tree |
| 2005-11-07 |
Stefano Zacchiroli | added bool_elim (elimination which preserves infos...
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | added support for ALT-L expansion of tex macros
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | ligature expansion now considers also tex macros
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | exported is_blank
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | added ligatures expansion support functions
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | added support for expansion of ligatures ALT-L will...
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | better distinction of (* *) and (** *) comments
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | avoid losing work on CTRL-N
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | removed no longer needed dependency on pxp
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | fixed typo
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | more structured makefile
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | "towards a distribution of matita" changes:
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | added tilde_expansion of directory settings
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | added char functions:
|
commit | commitdiff | tree |
| 2005-11-04 |
Stefano Zacchiroli | changed stack entry representation
|
commit | commitdiff | tree |
| 2005-11-03 |
Stefano Zacchiroli | Bug fix: index.theory dereferentiation works also for...
|
commit | commitdiff | tree |
| 2005-11-03 |
Stefano Zacchiroli | missing mlis
|
commit | commitdiff | tree |
| 2005-11-03 |
Stefano Zacchiroli | better dependencies among modules and symlinking of...
|
commit | commitdiff | tree |
| 2005-11-02 |
Stefano Zacchiroli | enable static linking of executables (try "make static")
|
commit | commitdiff | tree |
| 2005-11-02 |
Stefano Zacchiroli | rebuilt
|
commit | commitdiff | tree |
| 2005-11-02 |
Stefano Zacchiroli | added gcc lib dir for enable static linking of libstdc++
|
commit | commitdiff | tree |
| 2005-11-02 |
Stefano Zacchiroli | matita distribution stuff
|
commit | commitdiff | tree |
| 2005-10-27 |
Stefano Zacchiroli | typing errors
|
commit | commitdiff | tree |
| 2005-10-26 |
Stefano Zacchiroli | added constraing on non-empty context for tactic application
|
commit | commitdiff | tree |
| 2005-10-26 |
Stefano Zacchiroli | improved Makefile
|
commit | commitdiff | tree |
| 2005-10-25 |
Stefano Zacchiroli | fixed some type error
|
commit | commitdiff | tree |
| 2005-10-25 |
Stefano Zacchiroli | new tacticals
|
commit | commitdiff | tree |
| 2005-10-25 |
Stefano Zacchiroli | ported to new syntactic requirement about terms being...
|
commit | commitdiff | tree |
| 2005-10-25 |
Stefano Zacchiroli | added iter_option
|
commit | commitdiff | tree |
| 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 |
| next |
projects / helm.git / search