| Thu, 23 Feb 2012 20:15:59 +0100 | haftmann | tuned whitespace | changeset | files |
| Thu, 23 Feb 2012 20:15:49 +0100 | haftmann | tuned proof | changeset | files |
| Thu, 23 Feb 2012 21:15:11 +0100 | wenzelm | prefer actual syntax categories; | changeset | files |
| Thu, 23 Feb 2012 20:40:20 +0100 | wenzelm | avoid trait Addable, which is deprecated in scala-2.9.x; | changeset | files |
| Thu, 23 Feb 2012 20:24:05 +0100 | wenzelm | streamlined abstract datatype; | changeset | files |
| Thu, 23 Feb 2012 20:23:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 23 Feb 2012 19:58:49 +0100 | wenzelm | streamlined abstract datatype; | changeset | files |