src/Pure/Isar/toplevel.scala
Thu, 19 Aug 2010 11:26:07 +0200 wenzelm Command.status: full XML.Tree, i.e. Markup with potential "arguments";
Mon, 16 Aug 2010 00:07:28 +0200 wenzelm simplified command status: interpret stacked markup on demand;
less more (0) tip