| 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 |
| Sat, 30 Apr 2011 23:27:57 +0200 | wenzelm | updated Variable.focus; | changeset | files |
| Sat, 30 Apr 2011 23:20:50 +0200 | wenzelm | allow nested @{antiq} (nonterminal) and @@{antiq} terminal; | changeset | files |