2006-01-08 |
Claudio Sacerdoti... | Added $Id$ to every .ml file. |
blob | commitdiff | raw |
2005-12-02 |
Claudio Sacerdoti... | 1. matitaEngine splitted into disambiguation (now in... |
blob | commitdiff | raw | diff to current |
2005-11-30 |
Claudio Sacerdoti... | * Undo fixed. |
blob | commitdiff | raw | diff to current |
2005-11-29 |
Claudio Sacerdoti... | * Part of matita that used to deal with the library... |
blob | commitdiff | raw | diff to current |
2005-11-24 |
Stefano Zacchiroli | Reshaped structure of ocaml/ libraries, matita changed... |
blob | commitdiff | raw | diff to current |
2005-11-18 |
Enrico Tassi | fixed coercions undo |
blob | commitdiff | raw | diff to current |
2005-11-03 |
Stefano Zacchiroli | better dependencies among modules and symlinking of... |
blob | commitdiff | raw | diff to current |
2005-10-25 |
Stefano Zacchiroli | new tacticals |
blob | commitdiff | raw | diff to current |
2005-10-05 |
Stefano Zacchiroli | completed support for "-nodb", now also matitaclean... |
blob | commitdiff | raw | diff to current |
2005-09-15 |
Claudio Sacerdoti... | Yet another implementation of the single aliases /... |
blob | commitdiff | raw | diff to current |
2005-09-13 |
Stefano Zacchiroli | - changed moo representation in MatitaTypes.status... |
blob | commitdiff | raw | diff to current |
2005-09-08 |
Stefano Zacchiroli | added set_metasenv on proof_status |
blob | commitdiff | raw | diff to current |
2005-07-18 |
Stefano Zacchiroli | merged cic_notation with matita: good luck! |
blob | commitdiff | raw | diff to current |
2005-07-04 |
Claudio Sacerdoti... | "include" command implemented. |
blob | commitdiff | raw | diff to current |
2005-06-29 |
Enrico Tassi | now baseuri is needed in each file (and its redefinitio... |
blob | commitdiff | raw | diff to current |
2005-06-17 |
Claudio Sacerdoti... | many strings that are supposed to be URIs are now UriMa... |
blob | commitdiff | raw | diff to current |
2005-06-08 |
Stefano Zacchiroli | - handles about:* uris in cicBrowser |
blob | commitdiff | raw | diff to current |
2005-06-07 |
Enrico Tassi | removed coercions from status |
blob | commitdiff | raw | diff to current |
2005-05-17 |
Enrico Tassi | fixed whelp bar |
blob | commitdiff | raw | diff to current |
2005-05-16 |
Enrico Tassi | added comments, fixed history, added loadList to browser |
blob | commitdiff | raw | diff to current |
2005-04-28 |
Enrico Tassi | attached macros: hint(partial), check |
blob | commitdiff | raw | diff to current |
2005-04-27 |
Stefano Zacchiroli | checked in new version of matita from svn |
blob | commitdiff | raw | diff to current |
2005-04-27 |
Stefano Zacchiroli | removed all old matita files (kept in attic) |
blob | commitdiff | raw |
2005-03-09 |
Stefano Zacchiroli | support for terms with metas in check |
blob | commitdiff | raw | diff to current |
2005-02-14 |
Enrico Tassi | added choose_uri method to console, used by the interpr... |
blob | commitdiff | raw | diff to current |
2005-02-09 |
Stefano Zacchiroli | added script support a la coqide |
blob | commitdiff | raw | diff to current |
2005-02-04 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2005-02-01 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2005-01-20 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2005-01-18 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2005-01-11 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2004-12-02 |
Enrico Tassi | sync with universes and ~subst (and not ?(subst=[])) |
blob | commitdiff | raw | diff to current |
2004-11-15 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-11-11 |
Stefano Zacchiroli | snapshot: |
blob | commitdiff | raw | diff to current |
2004-11-09 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2004-10-27 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2004-10-13 |
Stefano Zacchiroli | snapshot, notably history no longer remember annotation... |
blob | commitdiff | raw | diff to current |
2004-10-06 |
Stefano Zacchiroli | snapshot (notably: implemented "check") |
blob | commitdiff | raw | diff to current |
2004-10-04 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-10-01 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-10-01 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-05-04 |
Stefano Zacchiroli | snapshot (notably: first working version of the console) |
blob | commitdiff | raw | diff to current |
2004-04-30 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-04-29 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-04-28 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-04-23 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-04-22 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
2004-04-22 |
Stefano Zacchiroli | snapshot |
blob | commitdiff | raw | diff to current |
|