| Fri, 01 Oct 2004 11:53:31 +0200 | paulson | tweaking of arithmetic proofs | changeset | files |
| Fri, 01 Oct 2004 11:51:55 +0200 | aspinall | Comments | changeset | files |
| Thu, 30 Sep 2004 15:43:50 +0200 | paulson | tidied | changeset | files |
| Thu, 30 Sep 2004 07:14:34 +0200 | kleing | display pdf as well as dvi | changeset | files |
| Thu, 30 Sep 2004 05:08:17 +0200 | schirmer | bug-fix with new records | changeset | files |
| Wed, 29 Sep 2004 22:40:40 +0200 | aspinall | Remove white space skipping in element content; XML specification clearly requires whitespace to be passed to application. | changeset | files |
| Wed, 29 Sep 2004 18:32:25 +0200 | schirmer | tuned performance of record definition | changeset | files |
| Wed, 29 Sep 2004 13:58:40 +0200 | paulson | tidying up; identifying the main theorems | changeset | files |