| Fri, 03 Sep 2004 00:28:44 +0200 | aspinall | Fix file:/// and file://localhost/ to return local file result | changeset | files |
| Fri, 03 Sep 2004 00:26:18 +0200 | aspinall | Comment about 3.6pre. Clean ups to XML, URL handling. Fix statedisplay double PGML quoting. Accumulate parse errors inside parseresult. | changeset | files |
| Thu, 02 Sep 2004 16:52:21 +0200 | paulson | new example of a quotiented nested data type | changeset | files |
| Thu, 02 Sep 2004 14:50:00 +0200 | dixon | added code to make use of case splitting to prove the specification equations for recursive definitions. | changeset | files |
| Thu, 02 Sep 2004 11:29:06 +0200 | paulson | fixed presentation | changeset | files |
| Wed, 01 Sep 2004 15:04:01 +0200 | paulson | new "respects" syntax for quotienting | changeset | files |