| 2005-02-03 |
Stefano Zacchiroli | removed spurious load of a local gTopLevel.conf.xml
|
commit | commitdiff | tree |
| 2005-02-02 |
Stefano Zacchiroli | - implemented inductive type rendering
|
commit | commitdiff | tree |
| 2005-02-02 |
Stefano Zacchiroli | added inductive_name field to inductive definitions...
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when...
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | removed useless parameter uri from mml_of_cic_object
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added mathml_ns
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | enriched error message
|
commit | commitdiff | tree |
| 2005-02-01 |
Stefano Zacchiroli | added strip_xpointer: remove trailing #xpointer from...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - avoid redefinition of the same uri (checked in add_...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | uses CicPp.ppsort
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - removed ancient debugging prints
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - renamed Term_not_found exception (useless) with Object_not...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | - added handling of exceptions embedded in xml documents...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | exception carried in response xml documents are now...
|
commit | commitdiff | tree |
| 2005-01-24 |
Stefano Zacchiroli | added helm:exception handling of Http_getter_types...
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | uniformed prototype of mml_of_cic_{object,sequent}
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | syntax changes: "." at the end of the phrase instead...
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | attributes support (not yet in the pretty printer)
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | added attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - added string_of_sort
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | - added attributes support
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | added attributes
|
commit | commitdiff | tree |
| 2005-01-21 |
Stefano Zacchiroli | added attribute support (not yet in the parser)
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | helmns -> helm_ns
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | - added rendering of constants/variable with/without...
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | rendering fixes:
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | - helmns -> helm_ns
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added cast rendering (used in check window by gTopLevel...
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added URI concrete syntax
|
commit | commitdiff | tree |
| 2005-01-20 |
Stefano Zacchiroli | added cmdline alias "command" for "tactica"
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | license template
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | read uri from cmdline
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added pp_location (pretty printer of ast location)
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added script support
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | added latex style comment, with start token "%%"
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | removed spurious debugging prints
|
commit | commitdiff | tree |
| 2005-01-18 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-17 |
Stefano Zacchiroli | - added helm_ns and xhtml_ns (XHTML and HELM namespace...
|
commit | commitdiff | tree |
| 2005-01-17 |
Stefano Zacchiroli | No longer return HTTP 400 answers or non-xml answers...
|
commit | commitdiff | tree |
| 2005-01-17 |
Stefano Zacchiroli | first (almost) working version: apparently, only generation...
|
commit | commitdiff | tree |
| 2005-01-14 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-13 |
Stefano Zacchiroli | snapshot (1st commit of fix body generation)
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, notably:
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added fallback case (assertion failure) for unsupported...
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added syntax for URIs
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added search commands
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | added clean_and_fill, to be invoked on qed
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, not yet completed, but ...
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | - added support for contexts (terms with holes)
|
commit | commitdiff | tree |
| 2005-01-11 |
Stefano Zacchiroli | cosmetic changes
|
commit | commitdiff | tree |
| 2005-01-05 |
Stefano Zacchiroli | exported lift_from
|
commit | commitdiff | tree |
| 2005-01-05 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | added an hyperlink to the input syntax page
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | improved input syntax page with example queries of...
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | added URI printing in the result page (so that mouse...
|
commit | commitdiff | tree |
| 2004-12-21 |
Stefano Zacchiroli | first commit (in the wrong place --by CSC) of induction...
|
commit | commitdiff | tree |
| 2004-12-11 |
Stefano Zacchiroli | ignores example binaries
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | ported to new format of Parse_error exception (which...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | (dummy) porting to universes
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | implemented pretty printer for (mutual) (co)inductive...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | (first) complete implementation of (mutual) (co)inductive...
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | addded inductive definition to AST
|
commit | commitdiff | tree |
| 2004-12-09 |
Stefano Zacchiroli | - enriched Parse_error exception with error location
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | moogle syntax help page, actually contains only syntax...
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | changed "locate" so that it supports shell-like pattern...
|
commit | commitdiff | tree |
| 2004-12-03 |
Stefano Zacchiroli | ported to universes
|
commit | commitdiff | tree |
| 2004-12-02 |
Stefano Zacchiroli | *** empty log message ***
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - ported tests to newer PP / substitutions
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - passes subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | removed old debugging prints
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | passes ~subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | passes subst to FreshNameGenerator
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | - pass subst to FreshNameGenerator on mk_fresh_name...
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | bugfix: FreshNameGenerator uses the type checker on...
|
commit | commitdiff | tree |
| 2004-11-29 |
Stefano Zacchiroli | bugfix in type_of_aux' which erroneously discard given...
|
commit | commitdiff | tree |
| 2004-11-26 |
Stefano Zacchiroli | ported to Mysql
|
commit | commitdiff | tree |
| 2004-11-26 |
Stefano Zacchiroli | ported to new xpointer syntax
|
commit | commitdiff | tree |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations to get_cooked_obj with assertion...
|
commit | commitdiff | tree |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations of get_cooked_obj with assertion...
|
commit | commitdiff | tree |
| 2004-11-24 |
Stefano Zacchiroli | guard get_cooked_obj calls with assert false in case...
|
commit | commitdiff | tree |
| 2004-11-24 |
Stefano Zacchiroli | use get_obj instead of get_cooked_obj in order to retrieve...
|
commit | commitdiff | tree |
| 2004-11-22 |
Stefano Zacchiroli | added parse test for
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | set environment trust to false to avoid dummy proof...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | use stateful logger so that the ProofChecker daemon...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | added a stateful logger which remember indentation...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | added set_trust to externally set the trust function...
|
commit | commitdiff | tree |
| 2004-11-18 |
Stefano Zacchiroli | ported to Mysql native connection
|
commit | commitdiff | tree |
| 2004-11-15 |
Stefano Zacchiroli | changed reduction tactics ast
|
commit | commitdiff | tree |
| 2004-11-15 |
Stefano Zacchiroli | snapshot
|
commit | commitdiff | tree |
| 2004-11-12 |
Stefano Zacchiroli | Fixed an hidden occur check problem: when a Meta is...
|
commit | commitdiff | tree |
| next |
projects / helm.git / search