2005-02-10 |
Stefano Zacchiroli | moved a debug print so that it is executed for each... |
blob | commitdiff | raw |
2005-02-10 |
Stefano Zacchiroli | bugfix: avoid executing tactic for the script twice |
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-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 |
Enrico Tassi | fixed currentproof |
blob | commitdiff | raw | diff to current |
2005-02-03 |
Enrico Tassi | better owner hadling |
blob | commitdiff | raw | diff to current |
2005-02-03 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when... |
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 |
2005-01-11 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
2004-12-03 |
Stefano Zacchiroli | snapshot |
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-11-05 |
Stefano Zacchiroli | filled toolbar and implemented buttons behaviours |
blob | commitdiff | raw | diff to current |
2004-11-03 |
Stefano Zacchiroli | snapshot (notably: ported to mysql instead of dbi) |
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 |
2004-04-20 |
Stefano Zacchiroli | renamed mathita to matita |
blob | commitdiff | raw | diff to current |
|