2006-02-03 |
Stefano Zacchiroli | - renamed ocaml/ to components/ |
commit | commitdiff |
2005-12-09 |
Stefano Zacchiroli | implemented copy/cut/paste/delete/pastePattern |
commit | commitdiff |
2005-11-07 |
Stefano Zacchiroli | changed script actions keybindings: s/CTRL-XXX/CTRL... |
commit | commitdiff |
2005-11-04 |
Stefano Zacchiroli | added support for expansion of ligatures ALT-L will... |
commit | commitdiff |
2005-11-03 |
Stefano Zacchiroli | better dependencies among modules and symlinking of... |
commit | commitdiff |
2005-10-25 |
Stefano Zacchiroli | new tacticals |
commit | commitdiff |
2005-09-15 |
Stefano Zacchiroli | moved matita logo in the right place |
commit | commitdiff |
2005-07-27 |
Stefano Zacchiroli | renamed development related windows |
commit | commitdiff |
2005-07-26 |
Enrico Tassi | bigger disambiguate chiuches win |
commit | commitdiff |
2005-07-25 |
Claudio Sacerdoti... | 1. select_all added to the Edit menu; no shortcut for... |
commit | commitdiff |
2005-07-25 |
Enrico Tassi | building/cleaning a devel now makes buttons insensitive |
commit | commitdiff |
2005-07-20 |
Claudio Sacerdoti... | Better tooltips. |
commit | commitdiff |
2005-07-20 |
Claudio Sacerdoti... | Tooltip removed. |
commit | commitdiff |
2005-07-20 |
Claudio Sacerdoti... | View tactics bar ==> Show tactics bar |
commit | commitdiff |
2005-07-20 |
Claudio Sacerdoti... | New files AUTHORS and LICENSE. |
commit | commitdiff |
2005-07-20 |
Claudio Sacerdoti... | Several interface improvements here and there. |
commit | commitdiff |
2005-07-19 |
Claudio Sacerdoti... | New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete. |
commit | commitdiff |
2005-07-15 |
Enrico Tassi | matitamake is integrated with matita |
commit | commitdiff |
2005-07-13 |
Enrico Tassi | all interface is locked during advance/retract |
commit | commitdiff |
2005-07-13 |
Enrico Tassi | some more replace facility: alt-r |
commit | commitdiff |
2005-07-13 |
Enrico Tassi | added find&replace facility |
commit | commitdiff |
2005-06-27 |
Enrico Tassi | added autosave and * (modified feature) |
commit | commitdiff |
2005-06-16 |
Enrico Tassi | added decrease and increase font size fantafeature |
commit | commitdiff |
2005-06-14 |
Enrico Tassi | added fullscreen menu item |
commit | commitdiff |
2005-06-13 |
Stefano Zacchiroli | integrated lablgtksourceview |
commit | commitdiff |
2005-06-13 |
Enrico Tassi | F2 hides the tactics buttons bar |
commit | commitdiff |
2005-06-09 |
Stefano Zacchiroli | simplified cicBrowser: whelp bar is now always visible |
commit | commitdiff |
2005-06-08 |
Stefano Zacchiroli | - handles about:* uris in cicBrowser |
commit | commitdiff |
2005-06-08 |
Stefano Zacchiroli | fixed history handling: now both "home" and link reache... |
commit | commitdiff |
2005-06-01 |
Enrico Tassi | some cosmetic fixes |
commit | commitdiff |
2005-05-31 |
Enrico Tassi | new shortcuts |
commit | commitdiff |
2005-05-31 |
Enrico Tassi | added shortcuts |
commit | commitdiff |
2005-05-25 |
Enrico Tassi | fix |
commit | commitdiff |
2005-05-16 |
Enrico Tassi | added comments, fixed history, added loadList to browser |
commit | commitdiff |
2005-05-02 |
Enrico Tassi | attached auto |
commit | commitdiff |
2005-05-02 |
Enrico Tassi | added Match (partially) and sync with the count table |
commit | commitdiff |
2005-04-27 |
Stefano Zacchiroli | checked in new version of matita from svn |
commit | commitdiff |
2005-04-27 |
Stefano Zacchiroli | removed all old matita files (kept in attic) |
commit | commitdiff |
2005-02-10 |
Stefano Zacchiroli | changed toolbar window type |
commit | commitdiff |
2005-02-04 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2005-02-03 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2005-02-01 |
Stefano Zacchiroli | added (linked to matita) executable cicbrowser: when... |
commit | commitdiff |
2005-02-01 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2005-01-21 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2005-01-20 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2004-12-03 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-11-15 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-11-11 |
Stefano Zacchiroli | snapshot: |
commit | commitdiff |
2004-11-09 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2004-11-05 |
Stefano Zacchiroli | filled toolbar and implemented buttons behaviours |
commit | commitdiff |
2004-11-03 |
Stefano Zacchiroli | snapshot (notably: ported to mysql instead of dbi) |
commit | commitdiff |
2004-10-27 |
Stefano Zacchiroli | snapshot, notably: |
commit | commitdiff |
2004-10-13 |
Stefano Zacchiroli | snapshot, notably history no longer remember annotation... |
commit | commitdiff |
2004-10-06 |
Stefano Zacchiroli | snapshot (notably: implemented "check") |
commit | commitdiff |
2004-10-04 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-10-01 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-04-28 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-04-23 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-04-22 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-04-22 |
Stefano Zacchiroli | snapshot |
commit | commitdiff |
2004-04-20 |
Stefano Zacchiroli | renamed mathita to matita |
commit | commitdiff |
|