| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | changeset | files |
| Sun, 17 Oct 2010 20:00:23 +0100 | wenzelm | robustified "warn" environment if \parindent is zero (e.g. within itemize, description etc.); | changeset | files |
| Sat, 16 Oct 2010 21:24:20 +0100 | wenzelm | more on "Basic ML data types"; | changeset | files |
| Sat, 16 Oct 2010 21:23:34 +0100 | wenzelm | more robust treatment of symbolic indentifiers (which may contain colons); | changeset | files |