| 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 |
| Thu, 23 Feb 2012 19:35:05 +0100 | wenzelm | tuned -- avoid copy of empty value; | changeset | files |
| Thu, 23 Feb 2012 19:34:48 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 23 Feb 2012 18:38:30 +0100 | wenzelm | streamlined abstract datatype, eliminating odd representation class; | changeset | files |
| Thu, 23 Feb 2012 18:14:58 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 23 Feb 2012 17:27:37 +0100 | huffman | merged | changeset | files |
| Thu, 23 Feb 2012 16:09:16 +0100 | huffman | make more simp rules respect int/bin distinction | changeset | files |
| Thu, 23 Feb 2012 15:37:42 +0100 | huffman | make bool list functions respect int/bin distinction | changeset | files |
| Thu, 23 Feb 2012 16:18:19 +0100 | wenzelm | merged; | changeset | files |