Sun, 25 Nov 2012 21:10:29 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 25 Nov 2012 20:59:32 +0100 | wenzelm | renamed main plugin object to PIDE; | file | diff | annotate |
Sun, 25 Nov 2012 17:15:21 +0100 | wenzelm | added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size; | file | diff | annotate |
Sat, 24 Nov 2012 16:40:42 +0100 | wenzelm | special handling of control symbols in Symbols dockable; | file | diff | annotate |
Sat, 24 Nov 2012 14:50:19 +0100 | wenzelm | improved editing support for control styles; | file | diff | annotate |