| Mon, 24 Oct 2011 16:47:24 +0200 | huffman | instance bool :: linorder | changeset | files |
| Mon, 24 Oct 2011 12:26:05 +0200 | bulwahn | removing poor man's dictionary construction which were only for the ancient code generator with no support of type classes | changeset | files |
| Mon, 24 Oct 2011 11:40:31 +0200 | bulwahn | fixed typo | changeset | files |
| Mon, 24 Oct 2011 10:45:54 +0200 | nipkow | latex output not needed because errors manifest themselves earlier | changeset | files |
| Sun, 23 Oct 2011 23:11:53 +0200 | wenzelm | some text on inner-syntax; | changeset | files |
| Sun, 23 Oct 2011 16:03:59 +0200 | nipkow | renamed in ASM | changeset | files |
| Sun, 23 Oct 2011 14:15:24 +0200 | nipkow | tuned order of eqns | changeset | files |