| 2005-07-28 |
Stefano Zacchiroli | - re-factoring: dropped sequentViewer in favour of... |
blob | commitdiff | raw |
| 2005-07-28 |
Stefano Zacchiroli | added support for (textual) cut and paste of mathml... |
blob | commitdiff | raw | diff to current |
| 2005-07-27 |
Stefano Zacchiroli | refactored gui handling code so that MatitaMathView... |
blob | commitdiff | raw | diff to current |
| 2005-07-27 |
Stefano Zacchiroli | proof of concept implementation of cut and paste from... |
blob | commitdiff | raw | diff to current |
| 2005-07-05 |
Stefano Zacchiroli | ported to new getter interface |
blob | commitdiff | raw | diff to current |
| 2005-06-16 |
Enrico Tassi | added decrease and increase font size fantafeature |
blob | commitdiff | raw | diff to current |
| 2005-06-08 |
Stefano Zacchiroli | rewritten cicBrowser handling of uri text entry, still... |
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-02-09 |
Stefano Zacchiroli | - fixed "error loading dom error" avoiding sequent_view... |
blob | commitdiff | raw | diff to current |
| 2005-02-07 |
Stefano Zacchiroli | added support for directory browsing in cicBrowser |
blob | commitdiff | raw | diff to current |
| 2005-02-04 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
| 2005-02-03 |
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-21 |
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 |
| 2004-11-09 |
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 |
|
projects / helm.git / history