hoelzl [Mon, 06 Dec 2010 19:54:48 +0100] rev 41272
move coercions to appropriate places
hoelzl [Fri, 03 Dec 2010 15:25:14 +0100] rev 41271
it is known as the extended reals, not the infinite reals
nipkow [Mon, 06 Dec 2010 19:18:02 +0100] rev 41270
moved coercion decl. for int
bulwahn [Mon, 06 Dec 2010 17:33:25 +0100] rev 41269
adapting copied bash code in mutabelle script
wenzelm [Mon, 06 Dec 2010 16:37:15 +0100] rev 41268
more correct NEWS;
wenzelm [Mon, 06 Dec 2010 16:18:56 +0100] rev 41267
merged
wenzelm [Mon, 06 Dec 2010 14:45:29 +0100] rev 41266
avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle;
wenzelm [Sun, 05 Dec 2010 15:23:33 +0100] rev 41265
IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
blanchet [Mon, 06 Dec 2010 13:46:45 +0100] rev 41264
fix monotonicity type of None
blanchet [Mon, 06 Dec 2010 13:36:28 +0100] rev 41263
compile