| Mon, 02 Jun 2008 22:50:27 +0200 | wenzelm | tuned spacing; | changeset | files |
| Mon, 02 Jun 2008 22:50:23 +0200 | wenzelm | major reorganization of document structure; | changeset | files |
| Mon, 02 Jun 2008 22:50:21 +0200 | wenzelm | removed obsolete basics.tex; | changeset | files |
| Mon, 02 Jun 2008 22:50:19 +0200 | wenzelm | more contributors; | changeset | files |
| Mon, 02 Jun 2008 21:19:46 +0200 | wenzelm | renamed theory "syntax" to "Outer_Syntax"; | changeset | files |
| Mon, 02 Jun 2008 21:13:48 +0200 | wenzelm | isatool tty; | changeset | files |