Mon, 13 Aug 2007 18:10:19 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
Mon, 13 Aug 2007 18:10:18 +0200 | wenzelm | SimpleSyntax.read_prop; | changeset | files |
Mon, 13 Aug 2007 12:56:03 +0200 | isatest | added atbroy9 | changeset | files |
Mon, 13 Aug 2007 12:53:58 +0200 | isatest | multi-threading with poly 5.1 test | changeset | files |
Mon, 13 Aug 2007 04:35:41 +0200 | kleing | new attribute [rotated] | changeset | files |
Mon, 13 Aug 2007 00:23:43 +0200 | wenzelm | tuned comments; | changeset | files |