| Mon, 28 Nov 2011 22:05:32 +0100 | wenzelm | separate module for concrete Isabelle markup; | changeset | files |
| Mon, 28 Nov 2011 20:39:08 +0100 | wenzelm | renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module; | changeset | files |
| Mon, 28 Nov 2011 20:31:53 +0100 | wenzelm | tuned signature (according to ML version); | changeset | files |