| Wed, 02 May 2012 16:56:25 +0200 | wenzelm | avoid interference of markup for literal tokens, which may contain slightly odd \<^bsub> \<^esub> counted as pseudo-markup (especially relevant for HTML output, e.g. of thm power3_eq_cube); | changeset | files |
| Wed, 02 May 2012 16:04:07 +0200 | wenzelm | accomodate scala-2.10.0-M3 with its extra jar; | changeset | files |
| Wed, 02 May 2012 13:09:26 +0200 | wenzelm | more robust wrt. spaces in directory names; | changeset | files |