diff options
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. --> |