| 2005-02-03 |
Enrico Tassi | owners table not needed |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | added new ownerize function |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | new metadataTypes interface (with ownerize function) |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Enrico Tassi | removed uri parameter from load_proof |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-02-03 |
Stefano Zacchiroli | removed spurious load of a local gTopLevel.conf.xml |
commit | commitdiff | tree | snapshot |
| 2005-02-02 |
Stefano Zacchiroli | - implemented inductive type rendering |
commit | commitdiff | tree | snapshot |
| 2005-02-02 |
Stefano Zacchiroli | added inductive_name field to inductive definitions... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | removed useless parameter uri from mml_of_cic_object |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | added mathml_ns |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | enriched error message |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Stefano Zacchiroli | added strip_xpointer: remove trailing #xpointer from... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | reverder change. no more owner passed to the locate. |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | added owner support to the disambiguator (now locate... |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | *** empty log message *** |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | added `Coer print_kind |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | Added Coer/Coercions print_kind |
commit | commitdiff | tree | snapshot |
| 2005-02-01 |
Enrico Tassi | MetadataDB.clean now cleans the getter maps (calling... |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / helm.git / shortlog