isabelle: Changelog

haftmann [Sat, 27 Oct 2007 12:48:44 +0200] rev 25214

ASCIIfied README

haftmann [Sat, 27 Oct 2007 12:48:24 +0200] rev 25213

added list comprehension syntax

wenzelm [Fri, 26 Oct 2007 22:10:44 +0200] rev 25212

locale_const: in_class workaround prevents additional locale version of class consts;

wenzelm [Fri, 26 Oct 2007 22:10:43 +0200] rev 25211

notation: associate syntax to checked-unchecked term;

wenzelm [Fri, 26 Oct 2007 22:10:42 +0200] rev 25210

export class_prefix; removed obsolete const hiding;

haftmann [Fri, 26 Oct 2007 21:22:20 +0200] rev 25209

tuned

haftmann [Fri, 26 Oct 2007 21:22:19 +0200] rev 25208

changed order of class parameters

haftmann [Fri, 26 Oct 2007 21:22:18 +0200] rev 25207

dropped square syntax

haftmann [Fri, 26 Oct 2007 21:22:17 +0200] rev 25206

localized monotonicity; tuned syntax

haftmann [Fri, 26 Oct 2007 21:22:16 +0200] rev 25205

dropped "brown" syntax

isabelle