| Mon, 15 Feb 2010 20:32:21 +0100 | wenzelm | tuned errors; | changeset | files |
| Mon, 15 Feb 2010 20:30:56 +0100 | wenzelm | Typedef.the_info; | changeset | files |
| Mon, 15 Feb 2010 20:01:07 +0100 | wenzelm | formal markup of constants; | changeset | files |
| Mon, 15 Feb 2010 19:16:45 +0100 | wenzelm | tuned document; | changeset | files |
| Mon, 15 Feb 2010 18:50:16 +0100 | wenzelm | eliminated old fold; | changeset | files |
| Mon, 15 Feb 2010 18:03:42 +0100 | wenzelm | renamed InfixName to Infix etc.; | changeset | files |
| Mon, 15 Feb 2010 17:17:51 +0100 | wenzelm | discontinued unnamed infix syntax; | changeset | files |