wenzelm [Wed, 21 Nov 2012 14:07:35 +0100] rev 51162
enable Symbols dockable by default;
wenzelm [Wed, 21 Nov 2012 14:06:59 +0100] rev 51161
tuned;
wenzelm [Wed, 21 Nov 2012 13:47:47 +0100] rev 51160
accomodate scala-2.10.0-RC2 with its slight reform on for-syntax;
hoelzl [Wed, 21 Nov 2012 12:05:05 +0100] rev 51159
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 51158
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 51157
CONTRIBUTION: add fabians work
hoelzl [Wed, 21 Nov 2012 10:57:50 +0100] rev 51156
NEWS: document changes in HOL-Probability
hoelzl [Wed, 21 Nov 2012 10:48:58 +0100] rev 51155
NEWS (changeset 13211e07d931): add Countable_Set
hoelzl [Wed, 21 Nov 2012 10:48:22 +0100] rev 51154
NEWS (changeset 69b35a75caf3): document changes in FuncSet
nipkow [Wed, 21 Nov 2012 09:07:41 +0100] rev 51153
new theory of immutable arrays