2006-01-10 |
Claudio Sacerdoti... | Dead code removed. |
blob | commitdiff | raw |
2006-01-09 |
Claudio Sacerdoti... | Bux fixed: matita did not save the .lexicon files!... |
blob | commitdiff | raw | diff to current |
2006-01-08 |
Claudio Sacerdoti... | Added $Id$ to every .ml file. |
blob | commitdiff | raw | diff to current |
2005-12-21 |
Claudio Sacerdoti... | Huge reorganization of matita and ocaml. |
blob | commitdiff | raw | diff to current |
2005-12-12 |
Stefano Zacchiroli | added contextual menu to act over selected terms |
blob | commitdiff | raw | diff to current |
2005-12-09 |
Stefano Zacchiroli | implemented copy/cut/paste/delete/pastePattern |
blob | commitdiff | raw | diff to current |
2005-12-07 |
Enrico Tassi | Big commit to let Ferruccio try the merge_coercion... |
blob | commitdiff | raw | diff to current |
2005-12-05 |
Claudio Sacerdoti... | 1. Several files in grafite that should be in grafite_p... |
blob | commitdiff | raw | diff to current |
2005-12-03 |
Claudio Sacerdoti... | metadata are no longer stored in .moo files. |
blob | commitdiff | raw | diff to current |
2005-12-02 |
Claudio Sacerdoti... | 1. matitaEngine splitted into disambiguation (now in... |
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-27 |
Stefano Zacchiroli | removed dead code (thanks to ocaml 3.09) |
blob | commitdiff | raw | diff to current |
2005-11-23 |
Claudio Sacerdoti... | New implementation for localized exceptions. |
blob | commitdiff | raw | diff to current |
2005-11-07 |
Stefano Zacchiroli | changed script actions keybindings: s/CTRL-XXX/CTRL... |
blob | commitdiff | raw | diff to current |
2005-11-04 |
Stefano Zacchiroli | added support for ALT-L expansion of tex macros |
blob | commitdiff | raw | diff to current |
2005-11-04 |
Stefano Zacchiroli | added support for expansion of ligatures ALT-L will... |
blob | commitdiff | raw | diff to current |
2005-11-04 |
Stefano Zacchiroli | avoid losing work on CTRL-N |
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 | - added support for "-nodb" flag (still missing support... |
blob | commitdiff | raw | diff to current |
2005-09-26 |
Alberto Griggio | new signature of auto_tac, with a new optional argument... |
blob | commitdiff | raw | diff to current |
2005-09-26 |
Stefano Zacchiroli | - added integrity checks on .moo files |
blob | commitdiff | raw | diff to current |
2005-09-20 |
Enrico Tassi | development windows now avoids doing an anction selecti... |
blob | commitdiff | raw | diff to current |
2005-09-19 |
Stefano Zacchiroli | - avoid catching top level exceptions when the relevant... |
blob | commitdiff | raw | diff to current |
2005-09-15 |
Stefano Zacchiroli | moved matita logo in the right place |
blob | commitdiff | raw | diff to current |
2005-09-14 |
Enrico Tassi | bugfixes: |
blob | commitdiff | raw | diff to current |
2005-09-13 |
Stefano Zacchiroli | - fixed dummy_floc (now in DisambiguateTypes) |
blob | commitdiff | raw | diff to current |
2005-09-08 |
Stefano Zacchiroli | removed some dead code |
blob | commitdiff | raw | diff to current |
2005-09-05 |
Enrico Tassi | The popup that asks to generate .moo for a .ma shows... |
blob | commitdiff | raw | diff to current |
2005-07-28 |
Claudio Sacerdoti... | Logo added to the about dialog. |
blob | commitdiff | raw | diff to current |
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 | renamed development related windows |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Claudio Sacerdoti... | Bug solved: X-style paste (i.e. paste of the PRIMARY... |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Claudio Sacerdoti... | Highlighting of parse errors implemented. |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Claudio Sacerdoti... | Code simplification. |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Claudio Sacerdoti... | 1. select_all added to the Edit menu; no shortcut for... |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Claudio Sacerdoti... | The edit menu items (copy/cut/delete/paste) are now... |
blob | commitdiff | raw | diff to current |
2005-07-25 |
Enrico Tassi | building/cleaning a devel now makes buttons insensitive |
blob | commitdiff | raw | diff to current |
2005-07-22 |
Alberto Griggio | added optional "paramodulation" parameter to auto to... |
blob | commitdiff | raw | diff to current |
2005-07-22 |
Claudio Sacerdoti... | When matita is started on a non-existent file, it avoid... |
blob | commitdiff | raw | diff to current |
2005-07-21 |
Claudio Sacerdoti... | Bug fixed: LICENSE and AUTHORS were searched in the... |
blob | commitdiff | raw | diff to current |
2005-07-21 |
Claudio Sacerdoti... | Comment "comments" removed from the outbox :-) |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Claudio Sacerdoti... | After a goto the focus is now grabbed back by the inser... |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Claudio Sacerdoti... | According to the Gnome Interface Guidelines the Help... |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Claudio Sacerdoti... | New files AUTHORS and LICENSE. |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Enrico Tassi | better handling of backgroud compiler process |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Claudio Sacerdoti... | Undo/Redo in the popup menu are now working correctly. |
blob | commitdiff | raw | diff to current |
2005-07-20 |
Claudio Sacerdoti... | Redo fixed with a strategy similar (but not equal)... |
blob | commitdiff | raw | diff to current |
2005-07-19 |
Claudio Sacerdoti... | Unuseful code removed. |
blob | commitdiff | raw | diff to current |
2005-07-19 |
Claudio Sacerdoti... | Bug fix: undo now respects the locked area. |
blob | commitdiff | raw | diff to current |
2005-07-19 |
Claudio Sacerdoti... | New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete. |
blob | commitdiff | raw | diff to current |
2005-07-19 |
Enrico Tassi | blocked undo of authomatic text (template) |
blob | commitdiff | raw | diff to current |
2005-07-18 |
Claudio Sacerdoti... | Bug fixed: the "find" command now scrolls the window... |
blob | commitdiff | raw | diff to current |
2005-07-18 |
Enrico Tassi | compilation of needed modules now outputs to the log... |
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-15 |
Enrico Tassi | matitamake is integrated with matita |
blob | commitdiff | raw | diff to current |
2005-07-13 |
Enrico Tassi | all interface is locked during advance/retract |
blob | commitdiff | raw | diff to current |
2005-07-13 |
Enrico Tassi | added find&replace facility |
blob | commitdiff | raw | diff to current |
2005-07-13 |
Enrico Tassi | copied text is unlocked :) |
blob | commitdiff | raw | diff to current |
2005-07-07 |
Claudio Sacerdoti... | 1. Warnings are now printed in orange (yellow was unvis... |
blob | commitdiff | raw | diff to current |
2005-07-07 |
Enrico Tassi | $ matita filename |
blob | commitdiff | raw | diff to current |
2005-07-07 |
Claudio Sacerdoti... | Bug fixed: no .moo can be generated if the status is... |
blob | commitdiff | raw | diff to current |
2005-07-07 |
Enrico Tassi | fixed a problem when newScript was called |
blob | commitdiff | raw | diff to current |
2005-07-06 |
Enrico Tassi | added script template |
blob | commitdiff | raw | diff to current |
2005-07-06 |
Enrico Tassi | matita now asks to save .moo if possible or cleans... |
blob | commitdiff | raw | diff to current |
2005-07-05 |
Ferruccio Guidi | name specifications added for elim_intros, elim_intros_... |
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-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 |
next |