| 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 |
| Mon, 28 Nov 2011 18:08:07 +0100 | nipkow | merged | changeset | files |
| Mon, 28 Nov 2011 11:22:36 +0100 | nipkow | Hide Product_Type.Times - too precious an identifier | changeset | files |
| Mon, 28 Nov 2011 17:06:29 +0100 | wenzelm | more antiquotations; | changeset | files |
| Mon, 28 Nov 2011 17:06:20 +0100 | wenzelm | tuned messages; | changeset | files |
| Mon, 28 Nov 2011 17:05:41 +0100 | wenzelm | avoid stepping outside of context -- plain zero_var_indexes should be sufficient; | changeset | files |