| 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
|
| 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
|