| Fri, 10 Feb 2012 22:58:04 +0100 | haftmann | corrected typo | changeset | files |
| Fri, 10 Feb 2012 22:51:21 +0100 | haftmann | dropped dead code | changeset | files |
| Sun, 12 Feb 2012 22:10:33 +0100 | haftmann | notepad is more appropriate here | changeset | files |
| Sat, 18 Feb 2012 23:43:21 +0100 | boehmes | corrected treatment of applications of built-in functions to higher-order terms | changeset | files |