| Thu, 29 Aug 2013 13:53:45 +0200 | wenzelm | more uniform configuration of editor modes and token markers; | changeset | files |
| Thu, 29 Aug 2013 13:14:00 +0200 | wenzelm | syntax for isabelle-news with symbol completion; | changeset | files |
| Thu, 29 Aug 2013 13:00:59 +0200 | wenzelm | tuned signature; | changeset | files |