isabelle: Changelog

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;

wenzelm [Sat, 18 Jun 2011 12:49:55 +0200] rev 43433

tuned text;

wenzelm [Sat, 18 Jun 2011 12:37:42 +0200] rev 43432

inner literal/delimiter corresponds to outer keyword/operator;

wenzelm [Sat, 18 Jun 2011 12:13:42 +0200] rev 43431

tuned markup;

wenzelm [Sat, 18 Jun 2011 11:45:07 +0200] rev 43430

more uniform treatment of "keyword" vs. "operator";

wenzelm [Sat, 18 Jun 2011 11:22:03 +0200] rev 43429

simplified Line_Context (again);

isabelle