isabelle: Changelog

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);

wenzelm [Sat, 18 Jun 2011 00:05:29 +0200] rev 43428

more robust treatment of partial range restriction;

wenzelm [Sat, 18 Jun 2011 00:03:58 +0200] rev 43427

select_markup: no filtering here -- results may be distorted anyway;

isabelle