| Fri, 03 Sep 2004 22:40:57 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 03 Sep 2004 20:20:44 +0200 | obua | float2real is now globally available | changeset | files |
| Fri, 03 Sep 2004 17:46:47 +0200 | obua | Matrix theory | changeset | files |
| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | changeset | files |
| Fri, 03 Sep 2004 10:27:05 +0200 | paulson | new theorem symD | changeset | files |
| Fri, 03 Sep 2004 10:26:39 +0200 | paulson | listrel operator for lifting relations to lists | changeset | files |
| Fri, 03 Sep 2004 00:35:38 +0200 | aspinall | Fix file:/// and file://localhost/ to give absolute paths | changeset | files |
| Fri, 03 Sep 2004 00:28:44 +0200 | aspinall | Fix file:/// and file://localhost/ to return local file result | changeset | files |