Sun, 01 May 2011 17:55:29 +0200 | wenzelm | include static rail files for old manuals, to make standard make job independent of the "rail" executable; | changeset | files |
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 |