| 2005-11-18 |
Stefano Zacchiroli | added debug items for enabling/disabling pretty printin... |
blob | commitdiff | raw |
| 2005-11-04 |
Stefano Zacchiroli | "towards a distribution of matita" changes: |
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-17 |
Enrico Tassi | added coercions to Prod |
blob | commitdiff | raw | diff to current |
| 2005-10-05 |
Stefano Zacchiroli | completed support for "-nodb", now also matitaclean... |
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 |
Stefano Zacchiroli | - added integrity checks on .moo files |
blob | commitdiff | raw | diff to current |
| 2005-09-20 |
Enrico Tassi | all initialization code is now in the new matitaInit... |
blob | commitdiff | raw | diff to current |
| 2005-09-19 |
Stefano Zacchiroli | - added support for -debug, which avoid catching top... |
blob | commitdiff | raw | diff to current |
| 2005-09-15 |
Stefano Zacchiroli | - changed command line interface of cicbrowser so that... |
blob | commitdiff | raw | diff to current |
| 2005-09-14 |
Enrico Tassi | bugfixes: |
blob | commitdiff | raw | diff to current |
| 2005-09-13 |
Stefano Zacchiroli | added moo dumping debug item |
blob | commitdiff | raw | diff to current |
| 2005-09-12 |
Stefano Zacchiroli | - de-ALB-ing |
blob | commitdiff | raw | diff to current |
| 2005-07-29 |
Claudio Sacerdoti... | 0. core_notation.ma splitted into coq.moo and core_nota... |
blob | commitdiff | raw | diff to current |
| 2005-07-28 |
Claudio Sacerdoti... | The logo is now showed in the sequents_viewer window... |
blob | commitdiff | raw | diff to current |
| 2005-07-28 |
Stefano Zacchiroli | - re-factoring: dropped sequentViewer in favour of... |
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 |
Claudio Sacerdoti... | Bug fixed: added a _undoable_action critical section... |
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-25 |
Stefano Zacchiroli | merged transformations on top of notation code |
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 |
Enrico Tassi | added env content debug print |
blob | commitdiff | raw | diff to current |
| 2005-07-21 |
Alberto Griggio | integration with paramodulation |
blob | commitdiff | raw | diff to current |
| 2005-07-20 |
Stefano Zacchiroli | fixed typo in 'leq interpretation uri which enable... |
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... | Smart scrolling during script advancement implemented. |
blob | commitdiff | raw | diff to current |
| 2005-07-18 |
Stefano Zacchiroli | added too .moo files notation related statements |
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-07 |
Claudio Sacerdoti... | No more need for symbolic links: .matita, the configura... |
blob | commitdiff | raw | diff to current |
| 2005-07-07 |
Enrico Tassi | tables for matita.owner are created at boot |
blob | commitdiff | raw | diff to current |
| 2005-07-05 |
Stefano Zacchiroli | ported to new getter interface |
blob | commitdiff | raw | diff to current |
| 2005-07-04 |
Enrico Tassi | aded confirmation dialog for baseuri redefinement |
blob | commitdiff | raw | diff to current |
| 2005-07-01 |
Claudio Sacerdoti... | * match.ma removed (it is now splitted in several files... |
blob | commitdiff | raw | diff to current |
| 2005-06-27 |
Enrico Tassi | added autosave and * (modified feature) |
blob | commitdiff | raw | diff to current |
| 2005-06-18 |
Enrico Tassi | fixed increase/decrease size feature |
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-13 |
Stefano Zacchiroli | integrated lablgtksourceview |
blob | commitdiff | raw | diff to current |
| 2005-06-09 |
Enrico Tassi | added debug item for coercion |
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-05-31 |
Enrico Tassi | new shortcuts |
blob | commitdiff | raw | diff to current |
| 2005-05-30 |
Enrico Tassi | mah...matita.ml |
blob | commitdiff | raw | diff to current |
| 2005-05-27 |
Stefano Zacchiroli | - commented out no longer needed macros Redo, Undo... |
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-29 |
Enrico Tassi | added dump/restore environment to the debug menu |
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-10 |
Stefano Zacchiroli | moved a debug print so that it is executed for each... |
blob | commitdiff | raw | diff to current |
| 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 |
|
projects / helm.git / history