| Sun, 07 Feb 2016 14:36:16 +0100 | wenzelm | clarified old forms; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Tue, 20 Oct 2015 23:53:40 +0200 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Sun, 18 Oct 2015 22:57:09 +0200 | wenzelm | more control symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 22:03:24 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Tue, 30 Jun 2015 15:20:56 +0200 | wenzelm | renamed "default" to "standard", to make semantically clear what it is; | file | diff | annotate |