| 2005-11-22 |
Stefano Zacchiroli | bugfix: return unshared sequent when applying cic ... |
blob | commitdiff | raw |
| 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-27 |
Stefano Zacchiroli | added support for multiple idrefs |
blob | commitdiff | raw | diff to current |
| 2005-09-26 |
Stefano Zacchiroli | if a node has an xref use it for cut and paste, no... |
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-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-14 |
Stefano Zacchiroli | enable selections and href handling on elements having... |
blob | commitdiff | raw | diff to current |
| 2005-09-13 |
Stefano Zacchiroli | cosmetic changes |
blob | commitdiff | raw | diff to current |
| 2005-09-09 |
Enrico Tassi | workaround for sequent viewer flickering |
blob | commitdiff | raw | diff to current |
| 2005-09-08 |
Stefano Zacchiroli | - uses runtime base dir to reference logo with qed |
blob | commitdiff | raw | diff to current |
| 2005-09-06 |
Stefano Zacchiroli | misc fixes in cic browser queries (pretty printing... |
blob | commitdiff | raw | diff to current |
| 2005-09-06 |
Claudio Sacerdoti... | Bug fixed: the small logo was searched in the wrong... |
blob | commitdiff | raw | diff to current |
| 2005-09-05 |
Claudio Sacerdoti... | The logo was searched in the wrong directory. |
blob | commitdiff | raw | diff to current |
| 2005-07-29 |
Claudio Sacerdoti... | Partial bug fix: every inner type is now added to the... |
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 |
Claudio Sacerdoti... | 1. ProofEngineHelpers.locate_in_term, ProofEngineHelper... |
blob | commitdiff | raw | diff to current |
| 2005-07-28 |
Stefano Zacchiroli | bugfix: call add_selection_target each time selection... |
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-28 |
Claudio Sacerdoti... | Code simplification. |
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-26 |
Claudio Sacerdoti... | Bug solved: the #reparent method of Gtk should NOT... |
blob | commitdiff | raw | diff to current |
| 2005-07-25 |
Stefano Zacchiroli | handle multiple href |
blob | commitdiff | raw | diff to current |
| 2005-07-20 |
Claudio Sacerdoti... | Debugging code commented out. |
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 |
Stefano Zacchiroli | sorted cicBrowser's listings |
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-06-29 |
Enrico Tassi | now baseuri is needed in each file (and its redefinitio... |
blob | commitdiff | raw | diff to current |
| 2005-06-28 |
Enrico Tassi | * new binary matitatop |
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-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-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 | fixed history handling: now both "home" and link reache... |
blob | commitdiff | raw | diff to current |
| 2005-06-08 |
Stefano Zacchiroli | rewritten cicBrowser handling of uri text entry, still... |
blob | commitdiff | raw | diff to current |
| 2005-06-08 |
Claudio Sacerdoti... | Query results were erroneously tagged as directories. |
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-27 |
Stefano Zacchiroli | - commented out no longer needed macros Redo, Undo... |
blob | commitdiff | raw | diff to current |
| 2005-05-18 |
Enrico Tassi | fixed some macros, added test_abort.ma |
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-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-03-09 |
Stefano Zacchiroli | support for terms with metas in check |
blob | commitdiff | raw | diff to current |
| 2005-02-09 |
Stefano Zacchiroli | - fixed "error loading dom error" avoiding sequent_view... |
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 |
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 |
Enrico Tassi | - sync with the new ApplyTransformation API |
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-10-27 |
Stefano Zacchiroli | snapshot, notably: |
blob | commitdiff | raw | diff to current |
| 2004-10-13 |
Stefano Zacchiroli | snapshot |
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 |
|
projects / helm.git / history