| Sun, 25 Nov 2012 20:31:49 +0100 | wenzelm | tuned signature -- avoid intrusion of module Path in generic PIDE concepts; | changeset | files |
| Sun, 25 Nov 2012 20:17:04 +0100 | wenzelm | explicit module UTF8; | changeset | files |
| Sun, 25 Nov 2012 19:55:42 +0100 | wenzelm | tuned file name; | changeset | files |
| Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | changeset | files |
| Sun, 25 Nov 2012 18:50:13 +0100 | wenzelm | prefer strict error; | changeset | files |
| Sun, 25 Nov 2012 18:47:33 +0100 | wenzelm | quasi-abstract module Rendering, with Isabelle-specific implementation; | changeset | files |
| Sun, 25 Nov 2012 17:15:21 +0100 | wenzelm | added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size; | changeset | files |