wenzelm [Thu, 22 Nov 2012 15:22:27 +0100] rev 50166
take component width as indication if it is already visible/layed-out, to avoid multiple formatting with minimal margin;
wenzelm [Thu, 22 Nov 2012 14:53:02 +0100] rev 50165
reset active area for outdated snapshot (again?);
wenzelm [Thu, 22 Nov 2012 14:40:39 +0100] rev 50164
some support for implicit senback, meaning that it uses the caret position instead of explicit command exec_id;
wenzelm [Thu, 22 Nov 2012 13:21:02 +0100] rev 50163
more abstract Sendback operations, with explicit id/exec_id properties;
purge result messages (again), cf. db58490a68ac, 7b61a539721e;
wenzelm [Thu, 22 Nov 2012 12:22:03 +0100] rev 50162
some support for breakable text and paragraphs;
tuned Symbol.scanner, which operates on symbols, not characters;
nipkow [Thu, 22 Nov 2012 08:23:13 +0100] rev 50161
tuned names
wenzelm [Wed, 21 Nov 2012 21:08:20 +0100] rev 50160
tuned comment;
wenzelm [Wed, 21 Nov 2012 20:50:34 +0100] rev 50159
clarified symbol groups, despite this traditional arrangement in X-symbol grid;
wenzelm [Wed, 21 Nov 2012 20:36:52 +0100] rev 50158
always retain message positions, in order to allow Isabelle_Rendering.sendback retrieve the exec_id, even in tooltip or detached window;
wenzelm [Wed, 21 Nov 2012 20:15:25 +0100] rev 50157
tuned whitespace;
immler [Wed, 21 Nov 2012 16:43:14 +0100] rev 50156
merged
immler [Wed, 21 Nov 2012 16:32:34 +0100] rev 50155
included abbrev in tooltip
immler [Wed, 21 Nov 2012 16:21:16 +0100] rev 50154
removed (unicode) tooltips: can not adjust font in basic swing tooltip
immler [Wed, 21 Nov 2012 16:04:00 +0100] rev 50153
delayed search to improve reactivity
immler [Wed, 21 Nov 2012 14:53:26 +0100] rev 50152
respect font property for symbols
immler [Wed, 21 Nov 2012 12:11:21 +0100] rev 50151
capitalize lowercase groups;
tuned with mkString
wenzelm [Wed, 21 Nov 2012 15:52:44 +0100] rev 50150
merged
wenzelm [Wed, 21 Nov 2012 15:50:54 +0100] rev 50149
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 50148
Countable_Set: tuned lemma names; more generic lemmas
wenzelm [Wed, 21 Nov 2012 14:07:35 +0100] rev 50147
enable Symbols dockable by default;
wenzelm [Wed, 21 Nov 2012 14:06:59 +0100] rev 50146
tuned;
wenzelm [Wed, 21 Nov 2012 13:47:47 +0100] rev 50145
accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
hoelzl [Wed, 21 Nov 2012 12:05:05 +0100] rev 50144
renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set
immler [Wed, 21 Nov 2012 10:51:12 +0100] rev 50143
dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols;
search field for symbols
hoelzl [Wed, 21 Nov 2012 11:08:56 +0100] rev 50142
CONTRIBUTION: add fabians work
hoelzl [Wed, 21 Nov 2012 10:57:50 +0100] rev 50141
NEWS: document changes in HOL-Probability
hoelzl [Wed, 21 Nov 2012 10:48:58 +0100] rev 50140
NEWS (changeset 13211e07d931): add Countable_Set
hoelzl [Wed, 21 Nov 2012 10:48:22 +0100] rev 50139
NEWS (changeset 69b35a75caf3): document changes in FuncSet
nipkow [Wed, 21 Nov 2012 09:07:41 +0100] rev 50138
new theory of immutable arrays
wenzelm [Tue, 20 Nov 2012 22:53:59 +0100] rev 50137
some grouping of Isabelle symbols, based on X-Symbol grid in PG-3.7.1.1 and a proposal by Fabian Immler;
wenzelm [Tue, 20 Nov 2012 22:52:04 +0100] rev 50136
support for symbol groups, retaining original order of declarations;
updated WWW_Find: untested change of ad-hoc parser of ~~/etc/symbols;
wenzelm [Tue, 20 Nov 2012 21:01:53 +0100] rev 50135
tuned;