2005-06-29 |
Enrico Tassi | now baseuri is needed in each file (and its redefinitio... |
blob | commitdiff | raw |
2005-06-29 |
Enrico Tassi | fixed some errers in the save/cancel ... |
blob | commitdiff | raw | diff to current |
2005-06-29 |
Enrico Tassi | fixed save/exit stuff |
blob | commitdiff | raw | diff to current |
2005-06-28 |
Enrico Tassi | added "are you sure you want to quit with usaved script?" |
blob | commitdiff | raw | diff to current |
2005-06-27 |
Enrico Tassi | added autosave and * (modified feature) |
blob | commitdiff | raw | diff to current |
2005-06-27 |
Claudio Sacerdoti... | New argument (the hypothesis name) for cut. |
blob | commitdiff | raw | diff to current |
2005-06-27 |
Claudio Sacerdoti... | * the auto AST now has the width |
blob | commitdiff | raw | diff to current |
2005-06-24 |
Claudio Sacerdoti... | New functions UriManager.uri_is_var, UriManager.uri_is_con. |
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-16 |
Enrico Tassi | added decrease and increase font size fantafeature |
blob | commitdiff | raw | diff to current |
2005-06-15 |
Stefano Zacchiroli | ported to latest registry interface |
blob | commitdiff | raw | diff to current |
2005-06-14 |
Enrico Tassi | added fullscreen menu item |
blob | commitdiff | raw | diff to current |
2005-06-13 |
Stefano Zacchiroli | integrated lablgtksourceview |
blob | commitdiff | raw | diff to current |
2005-06-13 |
Enrico Tassi | cosmetic fix |
blob | commitdiff | raw | diff to current |
2005-06-13 |
Enrico Tassi | F2 hides the tactics buttons bar |
blob | commitdiff | raw | diff to current |
2005-06-10 |
Enrico Tassi | added records |
blob | commitdiff | raw | diff to current |
2005-06-09 |
Enrico Tassi | added \n to "file saved" message |
blob | commitdiff | raw | diff to current |
2005-06-09 |
Stefano Zacchiroli | simplified cicBrowser: whelp bar is now always visible |
blob | commitdiff | raw | diff to current |
2005-06-08 |
Stefano Zacchiroli | - handles about:* uris in cicBrowser |
blob | commitdiff | raw | diff to current |
2005-06-08 |
Stefano Zacchiroli | added icons to entries shown in cicbrowser so that... |
blob | commitdiff | raw | diff to current |
2005-06-06 |
Stefano Zacchiroli | - set monospace buffer using modify_font widget method |
blob | commitdiff | raw | diff to current |
2005-06-01 |
Enrico Tassi | some cosmetic fixes |
blob | commitdiff | raw | diff to current |
2005-05-31 |
Enrico Tassi | fixed width fonts |
blob | commitdiff | raw | diff to current |
2005-05-31 |
Enrico Tassi | new shortcuts |
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-05-02 |
Enrico Tassi | attached auto |
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-14 |
Enrico Tassi | added choose_uri method to console, used by the interpr... |
blob | commitdiff | raw | diff to current |
2005-02-09 |
Stefano Zacchiroli | moved lockScript to MatitaScript module |
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-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-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-05-04 |
Stefano Zacchiroli | snapshot (notably: first working version of the console) |
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 |
|