| Sun, 25 Nov 2012 21:35:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 25 Nov 2012 21:23:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 25 Nov 2012 21:10:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 25 Nov 2012 20:59:32 +0100 | wenzelm | renamed main plugin object to PIDE; | changeset | files |
| 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 |