isabelle: Changelog

wenzelm [Sat, 18 Jun 2011 17:33:27 +0200] rev 43443

basic support for extended syntax styles: sub/superscript;

wenzelm [Sat, 18 Jun 2011 17:32:13 +0200] rev 43442

tuned -- Map.empty serves as partial function;

wenzelm [Sat, 18 Jun 2011 17:30:44 +0200] rev 43441

proper place for config files (cf. 55866987a7d9);

wenzelm [Sat, 18 Jun 2011 15:32:05 +0200] rev 43440

tuned signature;

wenzelm [Sat, 18 Jun 2011 15:18:57 +0200] rev 43439

merged

kleing [Fri, 17 Jun 2011 20:38:43 +0200] rev 43438

IMP compiler with int, added reverse soundness direction

wenzelm [Sat, 18 Jun 2011 15:11:33 +0200] rev 43437

proper place for config files;

wenzelm [Sat, 18 Jun 2011 15:07:16 +0200] rev 43436

tuned markup;

wenzelm [Sat, 18 Jun 2011 14:48:56 +0200] rev 43435

highlight via foreground painter, using alpha channel;

wenzelm [Sat, 18 Jun 2011 12:58:41 +0200] rev 43434

tuned signature;

isabelle