| Sat, 18 Feb 2012 20:06:14 +0100 | haftmann | tuned whitespace | changeset | files |
| Sat, 18 Feb 2012 11:31:35 +0100 | haftmann | more explicit error on malformed abstract equation; dropped dead code; tuned signature | changeset | files |
| Fri, 17 Feb 2012 15:42:26 +0100 | wenzelm | simplified configuration options for syntax ambiguity; | changeset | files |
| Fri, 17 Feb 2012 11:24:39 +0100 | wenzelm | retain default of Syntax.ambiguity, according to 2bd54d4b5f3d (despite earlier versions); | changeset | files |
| Thu, 16 Feb 2012 23:07:01 +0100 | wenzelm | more antiquotations; | changeset | files |
| Thu, 16 Feb 2012 22:54:40 +0100 | wenzelm | more symbols; | changeset | files |
| Thu, 16 Feb 2012 22:53:56 +0100 | wenzelm | tuned imports; | changeset | files |