Wed, 07 Aug 2013 11:17:06 +0200 enabled key event to apply query;
wenzelm [Wed, 07 Aug 2013 11:17:06 +0200] rev 52886
enabled key event to apply query;
Wed, 07 Aug 2013 10:58:26 +0200 prefer single-line HistoryTextField;
wenzelm [Wed, 07 Aug 2013 10:58:26 +0200] rev 52885
prefer single-line HistoryTextField;
Wed, 07 Aug 2013 15:40:59 +0200 contract equalities in transfer and transfer domain rules when they are registered
kuncar [Wed, 07 Aug 2013 15:40:59 +0200] rev 52884
contract equalities in transfer and transfer domain rules when they are registered
Wed, 07 Aug 2013 15:40:29 +0200 expand equalities in the transfer relation in transfer_prover if the relation doesn't follow the functional structure
kuncar [Wed, 07 Aug 2013 15:40:29 +0200] rev 52883
expand equalities in the transfer relation in transfer_prover if the relation doesn't follow the functional structure
Tue, 06 Aug 2013 23:24:10 +0200 merged
wenzelm [Tue, 06 Aug 2013 23:24:10 +0200] rev 52882
merged
Tue, 06 Aug 2013 23:20:25 +0200 misc tuning and simplification;
wenzelm [Tue, 06 Aug 2013 23:20:25 +0200] rev 52881
misc tuning and simplification;
Tue, 06 Aug 2013 22:27:52 +0200 more generic button;
wenzelm [Tue, 06 Aug 2013 22:27:52 +0200] rev 52880
more generic button;
Tue, 06 Aug 2013 22:02:20 +0200 support for query operations that consist of parallel segments;
wenzelm [Tue, 06 Aug 2013 22:02:20 +0200] rev 52879
support for query operations that consist of parallel segments;
Tue, 06 Aug 2013 21:41:24 +0200 more tooltips;
wenzelm [Tue, 06 Aug 2013 21:41:24 +0200] rev 52878
more tooltips;
Tue, 06 Aug 2013 21:34:58 +0200 tuned -- more explicit type Status.Value;
wenzelm [Tue, 06 Aug 2013 21:34:58 +0200] rev 52877
tuned -- more explicit type Status.Value;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip