| Mon, 02 May 2011 17:43:42 +0200 | wenzelm | merged | changeset | files |
| Mon, 02 May 2011 17:43:06 +0200 | wenzelm | removed obsolete rail setup; | changeset | files |
| Mon, 02 May 2011 17:28:45 +0200 | wenzelm | uniform content markup; | changeset | files |
| 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 |