isabelle: Changelog

haftmann [Sun, 21 Aug 2011 19:47:52 +0200] rev 44363

avoid pred/set mixture

wenzelm [Sun, 21 Aug 2011 22:04:01 +0200] rev 44362

merged

huffman [Sun, 21 Aug 2011 11:03:15 -0700] rev 44361

remove unnecessary euclidean_space class constraints

huffman [Sun, 21 Aug 2011 09:46:20 -0700] rev 44360

section -> subsection

huffman [Sun, 21 Aug 2011 09:38:31 -0700] rev 44359

scale dependency graph to fit on page

wenzelm [Sun, 21 Aug 2011 21:24:42 +0200] rev 44358

more robust initialization of token marker and line context wrt. session startup;

wenzelm [Sun, 21 Aug 2011 20:42:26 +0200] rev 44357

tuned Parse.group: delayed failure message;

wenzelm [Sun, 21 Aug 2011 20:25:49 +0200] rev 44356

avoid actual Color.white, which would be turned into Color.black by org.gjt.sp.jedit.print.BufferPrintable;

wenzelm [Sun, 21 Aug 2011 20:04:02 +0200] rev 44355

default style for user fonts -- to prevent org.gjt.sp.jedit.print.BufferPrintable from choking on null;

wenzelm [Sun, 21 Aug 2011 19:32:20 +0200] rev 44354

tuned;

isabelle