wenzelm [Wed, 13 Feb 2013 12:06:21 +0100] rev 52226
removed obsolete RC tags;
wenzelm [Wed, 13 Feb 2013 11:46:48 +0100] rev 52225
merged;
wenzelm [Tue, 12 Feb 2013 17:39:45 +0100] rev 52224
detect more hosts;
wenzelm [Tue, 12 Feb 2013 14:27:14 +0100] rev 52223
Added tag Isabelle2013 for changeset d90218288d51
nipkow [Wed, 13 Feb 2013 11:28:44 +0100] rev 52222
tuned state display
nipkow [Wed, 13 Feb 2013 09:04:47 +0100] rev 52221
tuned names
nipkow [Tue, 12 Feb 2013 21:35:40 +0100] rev 52220
tuned
nipkow [Tue, 12 Feb 2013 12:22:44 +0100] rev 52219
tuned identifier
nipkow [Tue, 12 Feb 2013 11:54:29 +0100] rev 52218
tuned top
webertj [Mon, 11 Feb 2013 11:38:16 +0100] rev 52217
Typo in description of abs_def.