| Sun, 01 May 2011 16:52:29 +0200 | wenzelm | misc cleanup -- no need to copy style files; | changeset | files |
| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | changeset | files |
| Sun, 01 May 2011 00:01:59 +0200 | wenzelm | use @{rail} antiquotation (with some nested markup); | changeset | files |