Thu, 27 May 2010 12:35:40 +0200 indicate prospective properties;
wenzelm [Thu, 27 May 2010 12:35:40 +0200] rev 37132
indicate prospective properties;
Thu, 27 May 2010 12:34:30 +0200 clarified auto_update vs. update;
wenzelm [Thu, 27 May 2010 12:34:30 +0200] rev 37131
clarified auto_update vs. update; tuned;
Thu, 27 May 2010 12:03:59 +0200 more reactive message handling, notably for follow_caret mode;
wenzelm [Thu, 27 May 2010 12:03:59 +0200] rev 37130
more reactive message handling, notably for follow_caret mode; misc tuning and clarification;
Thu, 27 May 2010 00:47:15 +0200 Command.toString: include id for debugging;
wenzelm [Thu, 27 May 2010 00:47:15 +0200] rev 37129
Command.toString: include id for debugging; Command.consume: explicit forward, avoid dependency on Session and side-effect on event bus; State.+ without side-effect on event bus; Session.commands_changed: delayed command changes (outside of Swing thread), also subsumes former Session.results; Document_View: tuned commands_changed handling and caret listening; Document_View.selected_command: proper function, not event handler state; Output_Dockable: directly act upon commands_changed, not caret events (via former Session.results);
Wed, 26 May 2010 18:19:36 +0200 merged
wenzelm [Wed, 26 May 2010 18:19:36 +0200] rev 37128
merged
Wed, 26 May 2010 18:19:12 +0200 refer to polyml-5.3.0-old for ppc-darwin;
wenzelm [Wed, 26 May 2010 18:19:12 +0200] rev 37127
refer to polyml-5.3.0-old for ppc-darwin;
Wed, 26 May 2010 17:52:32 +0200 try logical and theory abstraction before full abstraction (avoids warnings of linarith)
boehmes [Wed, 26 May 2010 17:52:32 +0200] rev 37126
try logical and theory abstraction before full abstraction (avoids warnings of linarith)
Wed, 26 May 2010 15:35:17 +0200 updated SMT certificates
boehmes [Wed, 26 May 2010 15:35:17 +0200] rev 37125
updated SMT certificates
Wed, 26 May 2010 15:34:47 +0200 hide constants and types introduced by SMT,
boehmes [Wed, 26 May 2010 15:34:47 +0200] rev 37124
hide constants and types introduced by SMT, simplified SMT patterns syntax, added examples for SMT patterns
Wed, 26 May 2010 11:59:06 +0200 more convenient order of code equations
haftmann [Wed, 26 May 2010 11:59:06 +0200] rev 37123
more convenient order of code equations
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip