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