| Thu, 19 Aug 2010 11:28:51 +0200 | wenzelm | Output_Position.report_text -- markup with potential "arguments"; | changeset | files |
| Thu, 19 Aug 2010 11:26:07 +0200 | wenzelm | Command.status: full XML.Tree, i.e. Markup with potential "arguments"; | changeset | files |
| Wed, 18 Aug 2010 23:44:50 +0200 | wenzelm | more efficient Markup_Tree, based on branches sorted by quasi-order; | changeset | files |
| Wed, 18 Aug 2010 14:04:13 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 18 Aug 2010 14:02:32 +0200 | wenzelm | refined notion of Text.Range; | changeset | files |
| Wed, 18 Aug 2010 11:25:09 +0200 | wenzelm | decode Isabelle symbol positions in one spot; | changeset | files |