isabelle: Changelog

wenzelm [Mon, 09 Mar 2009 11:57:48 +0100] rev 30382

adapted ThyOutput.antiquotation;

wenzelm [Mon, 09 Mar 2009 11:56:34 +0100] rev 30381

refined antiquotation interface: formally pass result context and (potential) result source; removed redundant raw_antiquotation;

haftmann [Mon, 09 Mar 2009 10:10:34 +0100] rev 30380

merged

haftmann [Mon, 09 Mar 2009 09:37:33 +0100] rev 30379

binding replaces bstring

haftmann [Mon, 09 Mar 2009 09:34:39 +0100] rev 30378

dropped eq_pred

haftmann [Sun, 08 Mar 2009 17:25:16 +0100] rev 30377

merged

haftmann [Sun, 08 Mar 2009 15:25:29 +0100] rev 30376

refined enumeration implementation

haftmann [Sun, 08 Mar 2009 15:25:29 +0100] rev 30375

added top and bot syntax

haftmann [Sun, 08 Mar 2009 15:25:28 +0100] rev 30374

added predicate compiler, as formally checked prototype, not as user package

haftmann [Mon, 09 Mar 2009 10:01:58 +0100] rev 30373

attempt to bypass spurious infix syntax problem on polyml/sun

isabelle