| 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 |
| 2005-01-25 |
Enrico Tassi | - added code for Coercion command, Print Env command. |
tree | commitdiff |
| 2005-01-24 |
Stefano Zacchiroli | - avoid redefinition of the same uri (checked in add_... |
tree | commitdiff |
| 2005-01-21 |
Enrico Tassi | - sync with the new ApplyTransformation API |
tree | commitdiff |
| 2005-01-21 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-01-20 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-01-18 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2005-01-12 |
Enrico Tassi | fixed clean_and_fill |
tree | commitdiff |
| 2005-01-11 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2004-12-03 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-12-02 |
Enrico Tassi | sync with universes and ~subst (and not ?(subst=[])) |
tree | commitdiff |
| 2004-11-15 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-11-11 |
Stefano Zacchiroli | snapshot: |
tree | commitdiff |
| 2004-11-09 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2004-11-05 |
Stefano Zacchiroli | filled toolbar and implemented buttons behaviours |
tree | commitdiff |
| 2004-11-03 |
Stefano Zacchiroli | snapshot (notably: ported to mysql instead of dbi) |
tree | commitdiff |
| 2004-10-27 |
Stefano Zacchiroli | snapshot, notably: |
tree | commitdiff |
| 2004-10-13 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-10-13 |
Stefano Zacchiroli | snapshot, notably history no longer remember annotation... |
tree | commitdiff |
| 2004-10-06 |
Stefano Zacchiroli | snapshot (notably: implemented "check") |
tree | commitdiff |
| 2004-10-04 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-10-01 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-10-01 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-05-04 |
Stefano Zacchiroli | snapshot (notably: first working version of the console) |
tree | commitdiff |
| 2004-04-30 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-29 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-28 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-23 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-22 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-22 |
Stefano Zacchiroli | snapshot |
tree | commitdiff |
| 2004-04-20 |
Stefano Zacchiroli | added ocamlfind library checks to configure.ac |
tree | commitdiff |
| 2004-04-20 |
Stefano Zacchiroli | renamed mathita to matita |
tree | commitdiff |
|
projects / helm.git / history