wenzelm [Wed, 21 Nov 2012 20:15:25 +0100] rev 51172
tuned whitespace;
immler [Wed, 21 Nov 2012 16:43:14 +0100] rev 51171
merged
immler [Wed, 21 Nov 2012 16:32:34 +0100] rev 51170
included abbrev in tooltip
immler [Wed, 21 Nov 2012 16:21:16 +0100] rev 51169
removed (unicode) tooltips: can not adjust font in basic swing tooltip
immler [Wed, 21 Nov 2012 16:04:00 +0100] rev 51168
delayed search to improve reactivity
immler [Wed, 21 Nov 2012 14:53:26 +0100] rev 51167
respect font property for symbols
immler [Wed, 21 Nov 2012 12:11:21 +0100] rev 51166
capitalize lowercase groups;
tuned with mkString
wenzelm [Wed, 21 Nov 2012 15:52:44 +0100] rev 51165
merged
wenzelm [Wed, 21 Nov 2012 15:50:54 +0100] rev 51164
more generous timeout for SML/NJ, which is approx. 40-80 times slower than Poly/ML;
more generous timeout for HOL-Quickcheck_Examples, which is rather slow in checking its examples (and mostly sequential);
hoelzl [Wed, 21 Nov 2012 15:47:55 +0100] rev 51163
Countable_Set: tuned lemma names; more generic lemmas