| 2005-01-21 |
Stefano Zacchiroli | uniformed prototype of mml_of_cic_{object,sequent} |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | syntax changes: "." at the end of the phrase instead... |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | attributes support (not yet in the pretty printer) |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | - attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | added attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | - added string_of_sort |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | - added attributes support |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | added attributes |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | added attribute support (not yet in the parser) |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | helmns -> helm_ns |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | - added rendering of constants/variable with/without... |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | rendering fixes: |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | - helmns -> helm_ns |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | added cast rendering (used in check window by gTopLevel... |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | added URI concrete syntax |
commit | commitdiff | tree | snapshot |
| 2005-01-20 |
Stefano Zacchiroli | added cmdline alias "command" for "tactica" |
commit | commitdiff | tree | snapshot |
| 2005-01-19 |
Enrico Tassi | coercion application |
commit | commitdiff | tree | snapshot |
| 2005-01-19 |
Enrico Tassi | fix coercGraph.mli |
commit | commitdiff | tree | snapshot |
| 2005-01-19 |
Enrico Tassi | fixed #xpointer handling in uri_of_string. new examples : |
commit | commitdiff | tree | snapshot |
| 2005-01-19 |
Enrico Tassi | Added coercion handling module |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | license template |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | read uri from cmdline |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | added pp_location (pretty printer of ast location) |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | added script support |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | added latex style comment, with start token "%%" |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | removed spurious debugging prints |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-01-18 |
Enrico Tassi | fixed comments |
commit | commitdiff | tree | snapshot |
| 2005-01-17 |
Stefano Zacchiroli | - added helm_ns and xhtml_ns (XHTML and HELM namespace... |
commit | commitdiff | tree | snapshot |
| 2005-01-17 |
Enrico Tassi | new cicEnvironment implementation |
commit | commitdiff | tree | snapshot |
| 2005-01-17 |
Stefano Zacchiroli | No longer return HTTP 400 answers or non-xml answers... |
commit | commitdiff | tree | snapshot |
| 2005-01-17 |
Stefano Zacchiroli | first (almost) working version: apparently, only genera... |
commit | commitdiff | tree | snapshot |
| 2005-01-14 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-01-13 |
Stefano Zacchiroli | snapshot (1st commit of fix body generation) |
commit | commitdiff | tree | snapshot |
| 2005-01-12 |
Enrico Tassi | fixed clean_and_fill |
commit | commitdiff | tree | snapshot |
| 2005-01-12 |
Enrico Tassi | fixed bug in fill_and_clean (now the helper universes_o... |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | added fallback case (assertion failure) for unsupported... |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | added syntax for URIs |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | added search commands |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | - added pack/unpack over AST of terms |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | added clean_and_fill, to be invoked on qed |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, not yet completed, but ... |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | - added support for contexts (terms with holes) |
commit | commitdiff | tree | snapshot |
| 2005-01-11 |
Stefano Zacchiroli | cosmetic changes |
commit | commitdiff | tree | snapshot |
| 2005-01-10 |
Enrico Tassi | added begin list and end list comments to help moogle... |
commit | commitdiff | tree | snapshot |
| 2005-01-05 |
Stefano Zacchiroli | exported lift_from |
commit | commitdiff | tree | snapshot |
| 2005-01-05 |
Stefano Zacchiroli | snapshot |
commit | commitdiff | tree | snapshot |
| 2004-12-21 |
Stefano Zacchiroli | added an hyperlink to the input syntax page |
commit | commitdiff | tree | snapshot |
| 2004-12-21 |
Stefano Zacchiroli | improved input syntax page with example queries of... |
commit | commitdiff | tree | snapshot |
| 2004-12-21 |
Stefano Zacchiroli | added URI printing in the result page (so that mouse... |
commit | commitdiff | tree | snapshot |
| 2004-12-21 |
Stefano Zacchiroli | first commit (in the wrong place --by CSC) of induction... |
commit | commitdiff | tree | snapshot |
| 2004-12-11 |
Stefano Zacchiroli | ignores example binaries |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | ported to new format of Parse_error exception (which... |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | (dummy) porting to universes |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | implemented pretty printer for (mutual) (co)inductive... |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | (first) complete implementation of (mutual) (co)inducti... |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | addded inductive definition to AST |
commit | commitdiff | tree | snapshot |
| 2004-12-09 |
Stefano Zacchiroli | - enriched Parse_error exception with error location |
commit | commitdiff | tree | snapshot |
| 2004-12-07 |
Andrea Asperti | symmetry of equality NOT used in auto |
commit | commitdiff | tree | snapshot |
| 2004-12-06 |
Andrea Asperti | New version of auto with "width". |
commit | commitdiff | tree | snapshot |
| 2004-12-03 |
Stefano Zacchiroli | snapshot |
commit | commitdiff | tree | snapshot |
| 2004-12-03 |
Stefano Zacchiroli | moogle syntax help page, actually contains only syntax... |
commit | commitdiff | tree | snapshot |
| 2004-12-03 |
Stefano Zacchiroli | changed "locate" so that it supports shell-like pattern... |
commit | commitdiff | tree | snapshot |
| 2004-12-03 |
Stefano Zacchiroli | ported to universes |
commit | commitdiff | tree | snapshot |
| 2004-12-02 |
Stefano Zacchiroli | *** empty log message *** |
commit | commitdiff | tree | snapshot |
| 2004-12-02 |
Enrico Tassi | sync with universes and ~subst (and not ?(subst=[])) |
commit | commitdiff | tree | snapshot |
| 2004-12-01 |
Enrico Tassi | Added universes handling. Tag PRE_UNIVERSES may help ;) |
commit | commitdiff | tree | snapshot |
| 2004-12-01 |
Enrico Tassi | Added universes handling. The PRE_UNIVERSES tag may... |
commit | commitdiff | tree | snapshot |
| 2004-11-30 |
Andrea Asperti | Bug in the management of substitutions into auto corrected. |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | - ported tests to newer PP / substitutions |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | - passes subst to FreshNameGenerator |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | removed old debugging prints |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | passes ~subst to FreshNameGenerator |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | passes subst to FreshNameGenerator |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | - pass subst to FreshNameGenerator on mk_fresh_name... |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | bugfix: FreshNameGenerator uses the type checker on... |
commit | commitdiff | tree | snapshot |
| 2004-11-29 |
Stefano Zacchiroli | bugfix in type_of_aux' which erroneously discard given... |
commit | commitdiff | tree | snapshot |
| 2004-11-26 |
Stefano Zacchiroli | ported to Mysql |
commit | commitdiff | tree | snapshot |
| 2004-11-26 |
Stefano Zacchiroli | ported to new xpointer syntax |
commit | commitdiff | tree | snapshot |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations to get_cooked_obj with assertion... |
commit | commitdiff | tree | snapshot |
| 2004-11-25 |
Stefano Zacchiroli | protected invocations of get_cooked_obj with assertion... |
commit | commitdiff | tree | snapshot |
| 2004-11-24 |
Stefano Zacchiroli | guard get_cooked_obj calls with assert false in case... |
commit | commitdiff | tree | snapshot |
| 2004-11-24 |
Stefano Zacchiroli | use get_obj instead of get_cooked_obj in order to retri... |
commit | commitdiff | tree | snapshot |
| 2004-11-23 |
Luca Padovani | * several adjustments after introduction of the depth... |
commit | commitdiff | tree | snapshot |
| 2004-11-23 |
Luca Padovani | * validation scripts |
commit | commitdiff | tree | snapshot |
| 2004-11-23 |
Luca Padovani | * basic infrastructure for collecting statistics |
commit | commitdiff | tree | snapshot |
| 2004-11-22 |
Stefano Zacchiroli | added parse test for |
commit | commitdiff | tree | snapshot |
| 2004-11-18 |
Stefano Zacchiroli | set environment trust to false to avoid dummy proof... |
commit | commitdiff | tree | snapshot |
| 2004-11-18 |
Stefano Zacchiroli | use stateful logger so that the ProofChecker daemon... |
commit | commitdiff | tree | snapshot |
| 2004-11-18 |
Stefano Zacchiroli | added a stateful logger which remember indentation... |
commit | commitdiff | tree | snapshot |
| 2004-11-18 |
Stefano Zacchiroli | added set_trust to externally set the trust function... |
commit | commitdiff | tree | snapshot |
| 2004-11-18 |
Stefano Zacchiroli | ported to Mysql native connection |
commit | commitdiff | tree | snapshot |
| 2004-11-17 |
Matteo Selmi | Resolved problem occured when "=" in MainConclusion |
commit | commitdiff | tree | snapshot |
| 2004-11-17 |
Matteo Selmi | Removed duplicated uri in sigmatch |
commit | commitdiff | tree | snapshot |
| next |
projects / helm.git / shortlog