2009-10-05 |
Enrico Tassi | new ng_library module |
blob | commitdiff | raw |
2009-09-29 |
Enrico Tassi | ugly coerc db print |
blob | commitdiff | raw | diff to current |
2009-06-19 |
Claudio Sacerdoti... | Estatus finally merged into the global status using... |
blob | commitdiff | raw | diff to current |
2009-06-19 |
Claudio Sacerdoti... | Useless GrafiteTypes.get_baseuri removed. |
blob | commitdiff | raw | diff to current |
2009-06-19 |
Claudio Sacerdoti... | More statuses converted to objects. |
blob | commitdiff | raw | diff to current |
2009-06-18 |
Claudio Sacerdoti... | 1) grafiteWalker removed |
blob | commitdiff | raw | diff to current |
2009-06-17 |
Claudio Sacerdoti... | Initial implementation of statuses using objects in... |
blob | commitdiff | raw | diff to current |
2009-06-16 |
Claudio Sacerdoti... | FIX OF THE PREVIOUS EXPERIMENTAL COMMIT: |
blob | commitdiff | raw | diff to current |
2009-06-15 |
Enrico Tassi | EXPERIMENTAL COMMIT (by CSC,actuall :-) |
blob | commitdiff | raw | diff to current |
2009-06-15 |
Enrico Tassi | huge commit regarding the grafite_status: |
blob | commitdiff | raw | diff to current |
2009-05-25 |
Enrico Tassi | nasty change in the lexer/parser: |
blob | commitdiff | raw | diff to current |
2009-01-16 |
Enrico Tassi | ... |
blob | commitdiff | raw | diff to current |
2009-01-08 |
Enrico Tassi | virtuals for () removed and bound to 'o' |
blob | commitdiff | raw | diff to current |
2009-01-05 |
Enrico Tassi | expand ligatures after \n too |
blob | commitdiff | raw | diff to current |
2009-01-05 |
Enrico Tassi | added some memory to virtuals eq classes |
blob | commitdiff | raw | diff to current |
2008-12-16 |
Enrico Tassi | auto expansion of \tex macros added as a switch in... |
blob | commitdiff | raw | diff to current |
2008-12-14 |
Claudio Sacerdoti... | The library is no longer automatically used during... |
blob | commitdiff | raw | diff to current |
2008-12-08 |
Enrico Tassi | alt-l for not working nymore for \fox where x was in... |
blob | commitdiff | raw | diff to current |
2008-12-06 |
Enrico Tassi | new concept of virtuals, defined only in the gui that... |
blob | commitdiff | raw | diff to current |
2008-12-04 |
Enrico Tassi | housekeeping: |
blob | commitdiff | raw | diff to current |
2008-12-04 |
Enrico Tassi | Bug fixed: pretty-printing of aliases when the OK butto... |
blob | commitdiff | raw | diff to current |
2008-12-03 |
Claudio Sacerdoti... | The aliases and multi_aliases in the lexicon status... |
blob | commitdiff | raw | diff to current |
2008-11-30 |
Enrico Tassi | natural deduction support for lemmas with premises |
blob | commitdiff | raw | diff to current |
2008-11-27 |
Enrico Tassi | 1. grafiteDisambiguator => multiPassDisambiguator |
blob | commitdiff | raw | diff to current |
2008-11-26 |
Enrico Tassi | disambiguation even more abstracted |
blob | commitdiff | raw | diff to current |
2008-11-22 |
Enrico Tassi | if gnome-help is not installed, prints an error message |
blob | commitdiff | raw | diff to current |
2008-11-21 |
Enrico Tassi | loc * lazy string -> (loc * string) lazy |
blob | commitdiff | raw | diff to current |
2008-11-17 |
Enrico Tassi | exercises ready |
blob | commitdiff | raw | diff to current |
2008-11-15 |
Enrico Tassi | apply rule (lem EM) works |
blob | commitdiff | raw | diff to current |
2008-11-15 |
Enrico Tassi | no more prove in palette |
blob | commitdiff | raw | diff to current |
2008-11-15 |
Enrico Tassi | rules fixed |
blob | commitdiff | raw | diff to current |
2008-11-15 |
Enrico Tassi | natural deduction palette |
blob | commitdiff | raw | diff to current |
2008-10-19 |
Enrico Tassi | when a file is opened the cursor is moved to the begin... |
blob | commitdiff | raw | diff to current |
2008-08-25 |
Claudio Sacerdoti... | Do not mess with my window manager: the Cic Browsers... |
blob | commitdiff | raw | diff to current |
2008-08-21 |
Enrico Tassi | pango escape fixed |
blob | commitdiff | raw | diff to current |
2008-08-21 |
Enrico Tassi | ... |
blob | commitdiff | raw | diff to current |
2008-08-16 |
Enrico Tassi | added support for font scaling to autogui |
blob | commitdiff | raw | diff to current |
2008-07-23 |
Enrico Tassi | fixed some GUI glitches |
blob | commitdiff | raw | diff to current |
2008-07-23 |
Enrico Tassi | better tex/utf8 win |
blob | commitdiff | raw | diff to current |
2008-07-23 |
Enrico Tassi | better UI for TeX/Unicode and terms grammar |
blob | commitdiff | raw | diff to current |
2008-06-23 |
Enrico Tassi | notation support fixed to parentesize in a more sane... |
blob | commitdiff | raw | diff to current |
2008-05-26 |
Enrico Tassi | new, more rigid syntax, for auto_params affecting the... |
blob | commitdiff | raw | diff to current |
2008-01-10 |
Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE |
blob | commitdiff | raw | diff to current |
2007-12-04 |
Claudio Sacerdoti... | Added debugging option to ask for all disambiguation... |
blob | commitdiff | raw | diff to current |
2007-11-26 |
Claudio Sacerdoti... | Disambiguation error compaction is now performed in... |
blob | commitdiff | raw | diff to current |
2007-11-26 |
Claudio Sacerdoti... | Patch to automatically generate filename.error.md5... |
blob | commitdiff | raw | diff to current |
2007-11-22 |
Claudio Sacerdoti... | Bug fixed in printing of passes in error messages. |
blob | commitdiff | raw | diff to current |
2007-11-16 |
Enrico Tassi | hidded publish-devel button, too dangerous for the... |
blob | commitdiff | raw | diff to current |
2007-11-16 |
Enrico Tassi | hidded all hbugs related stuff |
blob | commitdiff | raw | diff to current |
2007-11-12 |
Enrico Tassi | since there is no more tab, the modification of the... |
blob | commitdiff | raw | diff to current |
2007-11-12 |
Enrico Tassi | HIDDEN (since glade do not read out file properly anymo... |
blob | commitdiff | raw | diff to current |
2007-08-25 |
Claudio Sacerdoti... | thread-based interface activated again |
blob | commitdiff | raw | diff to current |
2007-07-26 |
Enrico Tassi | added development path normalization, inclusions with... |
blob | commitdiff | raw | diff to current |
2007-07-20 |
Claudio Sacerdoti... | Initialization of matita.map_unicode_to_tex moved from... |
blob | commitdiff | raw | diff to current |
2007-07-19 |
Claudio Sacerdoti... | map_unicode_to_tex is no longer optional and it always... |
blob | commitdiff | raw | diff to current |
2007-07-19 |
Claudio Sacerdoti... | paste_unicode_as_tex is now false by default; moreover... |
blob | commitdiff | raw | diff to current |
2007-07-18 |
Enrico Tassi | fixed coercion graph print, moved coercion graph and... |
blob | commitdiff | raw | diff to current |
2007-07-06 |
Enrico Tassi | maxipatch for support of multiple DBs. |
blob | commitdiff | raw | diff to current |
2007-05-24 |
Enrico Tassi | auto and autogui... some work |
blob | commitdiff | raw | diff to current |
2007-05-09 |
Ferruccio Guidi | PrimitiveTactics: intros _ now aveilable |
blob | commitdiff | raw | diff to current |
2007-04-20 |
Claudio Sacerdoti... | Much ado about nothing: |
blob | commitdiff | raw | diff to current |
2007-03-16 |
Ferruccio Guidi | elim tactic: it needs two arguments, a term as well... |
blob | commitdiff | raw | diff to current |
2007-03-13 |
Ferruccio Guidi | elim tactic: now takes a pattern instead of just a... |
blob | commitdiff | raw | diff to current |
2007-02-09 |
Stefano Zacchiroli | Added toggle for enabling/disabling the conversion... |
blob | commitdiff | raw | diff to current |
2007-02-09 |
Stefano Zacchiroli | - moved to the view menu toggles for coercion hiding... |
blob | commitdiff | raw | diff to current |
2007-02-09 |
Claudio Sacerdoti... | Exceptions should never escape the final exception... |
blob | commitdiff | raw | diff to current |
2007-02-09 |
Stefano Zacchiroli | moved the high level pretty printing setting to a toggl... |
blob | commitdiff | raw | diff to current |
2007-01-24 |
Ferruccio Guidi | matitaGui: some missing cases during disambiguation... |
blob | commitdiff | raw | diff to current |
2006-12-14 |
Claudio Sacerdoti... | Bugged code patched, but not in the optimal way. |
blob | commitdiff | raw | diff to current |
2006-12-08 |
Claudio Sacerdoti... | Disambiguation errors in phase 3 that are not present... |
blob | commitdiff | raw | diff to current |
2006-12-07 |
Stefano Zacchiroli | avoid Failure "nth" when only one disambiguation pass... |
blob | commitdiff | raw | diff to current |
2006-12-05 |
Stefano Zacchiroli | experimental classification of disambiguation error... |
blob | commitdiff | raw | diff to current |
2006-10-31 |
Claudio Sacerdoti... | The OK button of the disambiguation errors interface... |
blob | commitdiff | raw | diff to current |
2006-10-31 |
Claudio Sacerdoti... | New behaviour of the disambiguation error messages... |
blob | commitdiff | raw | diff to current |
2006-10-26 |
Claudio Sacerdoti... | Better label for the disambiguation errors window. |
blob | commitdiff | raw | diff to current |
2006-10-26 |
Claudio Sacerdoti... | New (and much more complex) disambiguation error interface. |
blob | commitdiff | raw | diff to current |
2006-10-20 |
Enrico Zoli | Serious bug fixed: without a Lazy.force the user obtain... |
blob | commitdiff | raw | diff to current |
2006-10-19 |
Claudio Sacerdoti... | Disambiguation errors are now compressed in a maybe... |
blob | commitdiff | raw | diff to current |
2006-10-18 |
Claudio Sacerdoti... | - Disambiguation error exception enriched with more... |
blob | commitdiff | raw | diff to current |
2006-10-18 |
Claudio Sacerdoti... | EXPERIMENTAL: new interface for disambiguation errors. |
blob | commitdiff | raw | diff to current |
2006-10-11 |
Claudio Sacerdoti... | Some hocus-pocus to avoid a common race condition ... |
blob | commitdiff | raw | diff to current |
2006-10-11 |
Claudio Sacerdoti... | Unlocking the interface was not performed as the last... |
blob | commitdiff | raw | diff to current |
2006-10-03 |
Claudio Sacerdoti... | Fixed handling of exceptions by the worker threads... |
blob | commitdiff | raw | diff to current |
2006-10-03 |
Claudio Sacerdoti... | Bug fixed: the script Menu was not locked as expected. |
blob | commitdiff | raw | diff to current |
2006-10-03 |
Claudio Sacerdoti... | The Abort button is now working properly. Cool. |
blob | commitdiff | raw | diff to current |
2006-10-02 |
Claudio Sacerdoti... | Xavier code for killing a thread commented out for... |
blob | commitdiff | raw | diff to current |
2006-10-02 |
Claudio Sacerdoti... | This commit implements the Abort button for the GUI... |
blob | commitdiff | raw | diff to current |
2006-10-02 |
Claudio Sacerdoti... | **** EXPERIMENTAL **** |
blob | commitdiff | raw | diff to current |
2006-09-21 |
Stefano Zacchiroli | added displaying of the dep graph of a development... |
blob | commitdiff | raw | diff to current |
2006-07-24 |
Enrico Tassi | added timeout parameter to auto paramodulation. |
blob | commitdiff | raw | diff to current |
2006-07-24 |
Enrico Tassi | more work on matitaprover (no more XML and buris are... |
blob | commitdiff | raw | diff to current |
2006-06-21 |
Enrico Tassi | added the geniric |
blob | commitdiff | raw | diff to current |
2006-06-01 |
Stefano Zacchiroli | bugfix: rely on byte count instead of mixing byte and... |
blob | commitdiff | raw | diff to current |
2006-05-11 |
Claudio Sacerdoti... | Bugs fixed: |
blob | commitdiff | raw | diff to current |
2006-05-09 |
Enrico Tassi | types2006 patch |
blob | commitdiff | raw | diff to current |
2006-04-14 |
Enrico Tassi | the same utf8 bug as before |
blob | commitdiff | raw | diff to current |
2006-03-17 |
Enrico Tassi | tests are now handled with a standard Makefile that... |
blob | commitdiff | raw | diff to current |
2006-03-13 |
Enrico Tassi | Huge commit for the release. Includes: |
blob | commitdiff | raw | diff to current |
2006-02-06 |
Stefano Zacchiroli | help path is no longer hard coded but relative to runti... |
blob | commitdiff | raw | diff to current |
2006-02-06 |
Claudio Sacerdoti... | first sketch of the documentation (to be used by yelp) |
blob | commitdiff | raw | diff to current |
next |