diff options
| author | David Aspinall | 2000-05-25 14:53:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 14:53:01 +0000 |
| commit | a8cb1ff621cc7c84d4c3ee840a015375a8f23e21 (patch) | |
| tree | 07a61e50e91716af3ef969c749f078a6c3354b7e /html | |
| parent | 6b7b298ecc9eb3deafd111c791fe0c763dcb87a8 (diff) | |
Minor
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/develdownload.phtml b/html/develdownload.phtml index 204c410e..bd06179f 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -29,7 +29,7 @@ Check the <?php fileshow("ProofGeneral-3.2pre000525/CHANGES","CHANGES"); ?> file <!-- End Warning. --> for a summary of changes since the last stable version, and -the planned changes to come. +notes about work-in-progress. </p> <ul> <!-- WARNING! Lines below automatically edited by makefile. --> |