| 2005-02-01 |
Enrico Tassi | fix in the coercions list generation and aded a functio... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | added the unregister method to the help page |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | fixed coercions |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | removed debug print |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | cosmetic fix to pp_location |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | added save_object_to_disk and basedir |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | added delift |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | added basedir and improved let{rec} syntax |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | better debug prints |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | added Basedir Ast |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | Added outtype inference to MutCase |
commit | commitdiff | tree | snapshot |
| 2005-01-31 |
Enrico Tassi | Fixed bug in delift. The recursive call in the Meta... |
commit | commitdiff | tree | snapshot |
| 2005-01-25 |
Enrico Tassi | - removed applyStylesheets |
commit | commitdiff | tree | snapshot |
| 2005-01-25 |
Enrico Tassi | added list_obj and list_uri |
commit | commitdiff | tree | snapshot |
| 2005-01-25 |
Enrico Tassi | - added code for Coercion command, Print Env command. |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | - avoid redefinition of the same uri (checked in add_... |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | uses CicPp.ppsort |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | - removed ancient debugging prints |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | - renamed Term_not_found exception (useless) with Objec... |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | - added handling of exceptions embedded in xml document... |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | exception carried in response xml documents are now... |
commit | commitdiff | tree | snapshot |
| 2005-01-24 |
Stefano Zacchiroli | added helm:exception handling of Http_getter_types... |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Enrico Tassi | - sync with the new ApplyTransformation API |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Enrico Tassi | - Changed ApplyTransformation API to return both the... |
commit | commitdiff | tree | snapshot |
| 2005-01-21 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / helm.git / shortlog