| Sun, 01 May 2011 17:42:21 +0200 | wenzelm | simplified keyword markup (without formal checking); | changeset | files |
| Sun, 01 May 2011 17:41:49 +0200 | wenzelm | treat @ as separate keyword; | changeset | files |
| Sun, 01 May 2011 17:19:46 +0200 | wenzelm | default rail fonts via isabellestyle; | changeset | files |
| Sun, 01 May 2011 17:13:44 +0200 | wenzelm | localized \isabellestyle; | changeset | files |
| Sun, 01 May 2011 16:56:50 +0200 | wenzelm | misc cleanup; | changeset | files |
| 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 |