| 2005-06-09 |
Claudio Sacerdoti... | Error message improved. |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | No more explicit types for the branches of the matches... |
tree | commitdiff |
| 2005-06-09 |
Enrico Tassi | added debug item for coercion |
tree | commitdiff |
| 2005-06-09 |
Enrico Tassi | added \n to "file saved" message |
tree | commitdiff |
| 2005-06-09 |
Enrico Tassi | added whd before uri_of_term |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | andrea.ma removed (superseded by match.ma) |
tree | commitdiff |
| 2005-06-09 |
Andrea Asperti | Updated to the new syntax for match. |
tree | commitdiff |
| 2005-06-09 |
Stefano Zacchiroli | simplified cicBrowser: whelp bar is now always visible |
tree | commitdiff |
| 2005-06-08 |
Stefano Zacchiroli | - handles about:* uris in cicBrowser |
tree | commitdiff |
| 2005-06-08 |
Stefano Zacchiroli | fixed history handling: now both "home" and link reache... |
tree | commitdiff |
| 2005-06-08 |
Stefano Zacchiroli | rewritten cicBrowser handling of uri text entry, still... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Let's try to make the "let rec" construct infer its... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Syntax for top-level "let rec" fixed. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Using the lighter syntax for "let recs". |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Using the top-level syntax for let-rec definitions. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | The file is now well formed. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Query results were erroneously tagged as directories. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | 1. syntax of match changed |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | The getter maps are now dumped also if matitac exits... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Added new target "make tests" for regression testing. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Harder test (with empty inductive types and left and... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | More informative error message. |
tree | commitdiff |
| 2005-06-08 |
Stefano Zacchiroli | added icons to entries shown in cicbrowser so that... |
tree | commitdiff |
| 2005-06-07 |
Enrico Tassi | added test for coercions |
tree | commitdiff |
| 2005-06-07 |
Enrico Tassi | added coercions |
tree | commitdiff |
| 2005-06-07 |
Enrico Tassi | removed coercions from status |
tree | commitdiff |
| 2005-06-07 |
Enrico Tassi | added letin |
tree | commitdiff |
| 2005-06-07 |
Ferruccio Guidi | control of dependences improved |
tree | commitdiff |
| 2005-06-06 |
Stefano Zacchiroli | - set monospace buffer using modify_font widget method |
tree | commitdiff |
| 2005-06-01 |
Enrico Tassi | fix_escaping |
tree | commitdiff |
| 2005-06-01 |
Enrico Tassi | reduce with path |
tree | commitdiff |
| 2005-06-01 |
Enrico Tassi | some cosmetic fixes |
tree | commitdiff |
| 2005-06-01 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-05-31 |
Enrico Tassi | fixed width fonts |
tree | commitdiff |
| 2005-05-31 |
Enrico Tassi | new shortcuts |
tree | commitdiff |
| 2005-05-31 |
Andrea Asperti | added colors |
tree | commitdiff |
| 2005-05-31 |
Andrea Asperti | added chronometer |
tree | commitdiff |
| 2005-05-31 |
Andrea Asperti | added automathic aliases for _ind _rec and _rect when... |
tree | commitdiff |
| 2005-05-31 |
Andrea Asperti | fix |
tree | commitdiff |
| 2005-05-31 |
Enrico Tassi | added automathic aliases for qed and definition |
tree | commitdiff |
| 2005-05-31 |
Enrico Tassi | added shortcuts |
tree | commitdiff |
| 2005-05-30 |
Enrico Tassi | mah...matita.ml |
tree | commitdiff |
| 2005-05-30 |
Andrea Asperti | fix |
tree | commitdiff |
| 2005-05-30 |
Andrea Asperti | added intros n. |
tree | commitdiff |
| 2005-05-30 |
Andrea Asperti | added automathic aliases. |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | - commented out no longer needed macros Redo, Undo... |
tree | commitdiff |
| 2005-05-27 |
Stefano Zacchiroli | fixed otags invocation |
tree | commitdiff |
| 2005-05-27 |
Enrico Tassi | fixed matitac |
tree | commitdiff |
| 2005-05-25 |
Stefano Zacchiroli | let rec example |
tree | commitdiff |
| 2005-05-25 |
Ferruccio Guidi | some work for Gares |
tree | commitdiff |
| 2005-05-25 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-05-25 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-05-24 |
Enrico Tassi | added simpl test script |
tree | commitdiff |
| 2005-05-24 |
Enrico Tassi | added simpl |
tree | commitdiff |
| 2005-05-24 |
Andrea Asperti | fix |
tree | commitdiff |
| 2005-05-24 |
Andrea Asperti | elim -> elim_intros (no simpl) |
tree | commitdiff |
| 2005-05-23 |
Enrico Tassi | added qed |
tree | commitdiff |
| 2005-05-23 |
Andrea Asperti | Added andrea.ma |
tree | commitdiff |
| 2005-05-18 |
Enrico Tassi | fixed some macros, added test_abort.ma |
tree | commitdiff |
| 2005-05-17 |
Enrico Tassi | fixed whelp bar |
tree | commitdiff |
| 2005-05-16 |
Enrico Tassi | added images |
tree | commitdiff |
| 2005-05-16 |
Enrico Tassi | added examples |
tree | commitdiff |
| 2005-05-16 |
Enrico Tassi | added comments, fixed history, added loadList to browser |
tree | commitdiff |
| 2005-05-10 |
Stefano Zacchiroli | added 'tags' target (which index both matita/ and ocaml... |
tree | commitdiff |
| 2005-05-05 |
Andrea Asperti | test_instance.ma |
tree | commitdiff |
| 2005-05-03 |
Enrico Tassi | sync with SqlStatements |
tree | commitdiff |
| 2005-05-03 |
Enrico Tassi | added examples |
tree | commitdiff |
| 2005-05-03 |
Enrico Tassi | added instance |
tree | commitdiff |
| 2005-05-02 |
Enrico Tassi | attached auto |
tree | commitdiff |
| 2005-05-02 |
Enrico Tassi | added Match (partially) and sync with the count table |
tree | commitdiff |
| 2005-04-29 |
Enrico Tassi | added dump/restore environment to the debug menu |
tree | commitdiff |
| 2005-04-28 |
Enrico Tassi | attached macros: hint(partial), check |
tree | commitdiff |
| 2005-04-27 |
Stefano Zacchiroli | checked in new version of matita from svn |
tree | commitdiff |
| 2005-04-27 |
Stefano Zacchiroli | removed all matita files |
tree | commitdiff |
| 2005-04-27 |
Stefano Zacchiroli | removed all old matita files (kept in attic) |
tree | commitdiff |
| 2005-03-09 |
Stefano Zacchiroli | support for terms with metas in check |
tree | commitdiff |
| 2005-02-14 |
Enrico Tassi | added choose_uri method to console, used by the interpr... |
tree | commitdiff |
| 2005-02-10 |
Stefano Zacchiroli | moved a debug print so that it is executed for each... |
tree | commitdiff |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: method 'advance' now took in input concrete... |
tree | commitdiff |
| 2005-02-10 |
Stefano Zacchiroli | changed toolbar window type |
tree | commitdiff |
| 2005-02-10 |
Stefano Zacchiroli | bugfix: avoid executing tactic for the script twice |
tree | commitdiff |
| 2005-02-09 |
Stefano Zacchiroli | added script support a la coqide |
tree | commitdiff |
| 2005-02-09 |
Stefano Zacchiroli | - fixed "error loading dom error" avoiding sequent_view... |
tree | commitdiff |
| 2005-02-09 |
Stefano Zacchiroli | moved lockScript to MatitaScript module |
tree | commitdiff |
| 2005-02-07 |
Stefano Zacchiroli | added TODO file |
tree | commitdiff |
| 2005-02-07 |
Stefano Zacchiroli | added support for directory browsing in cicBrowser |
tree | commitdiff |
| 2005-02-07 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2005-02-07 |
Stefano Zacchiroli | connected change tactic (proof of concept) |
tree | commitdiff |
| 2005-02-04 |
Enrico Tassi | saves to gzip |
tree | commitdiff |
| 2005-02-04 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-02-04 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-02-03 |
Enrico Tassi | fixed currentproof |
tree | commitdiff |
| 2005-02-03 |
Enrico Tassi | better owner hadling |
tree | commitdiff |
| 2005-02-03 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2005-02-03 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when... |
tree | commitdiff |
| 2005-02-01 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-02-01 |
Enrico Tassi | *** empty log message *** |
tree | commitdiff |
| 2005-02-01 |
Enrico Tassi | fixed coercions |
tree | commitdiff |
| 2005-01-31 |
Enrico Tassi | added save_object_to_disk and basedir |
tree | commitdiff |
| next |
projects / helm.git / history