Sun, 29 Dec 2013 23:21:13 +0100 | haftmann | more compact representation of different situations for interpretation | changeset | files |
Sun, 29 Dec 2013 23:21:12 +0100 | haftmann | more succint formulation of special case | changeset | files |
Sun, 29 Dec 2013 23:21:11 +0100 | haftmann | tuned whitespace | changeset | files |