wenzelm [Tue, 26 Mar 2013 20:37:32 +0100] rev 52681
tuned session specification;
wenzelm [Tue, 26 Mar 2013 20:36:32 +0100] rev 52680
tuned proof;
wenzelm [Tue, 26 Mar 2013 20:02:02 +0100] rev 52679
tuned imports;
wenzelm [Tue, 26 Mar 2013 19:43:31 +0100] rev 52678
tuned proofs;
haftmann [Tue, 26 Mar 2013 20:49:57 +0100] rev 52677
explicit sublocale dependency for Min/Max yields more appropriate Min/Max prefix for a couple of facts
wenzelm [Tue, 26 Mar 2013 15:10:28 +0100] rev 52676
merged
wenzelm [Tue, 26 Mar 2013 14:38:44 +0100] rev 52675
proper input event handling;
wenzelm [Tue, 26 Mar 2013 14:14:39 +0100] rev 52674
more standard imports;
wenzelm [Tue, 26 Mar 2013 14:05:08 +0100] rev 52673
more specific Entry painting;
ignore theories with all commands below threshold;
wenzelm [Tue, 26 Mar 2013 14:03:31 +0100] rev 52672
tuned;