Mon, 02 May 2011 17:28:09 +0200 | wenzelm | eliminated obsolete rail macros; | changeset | files |
Mon, 02 May 2011 17:12:11 +0200 | wenzelm | removed obsolete rail diagram (which was about old-style theory syntax); | changeset | files |
Mon, 02 May 2011 17:07:46 +0200 | wenzelm | eliminated separate rail/latex phase; | changeset | files |