diff options
| author | David Aspinall | 1999-09-30 14:04:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-30 14:04:42 +0000 |
| commit | 2a8bf560ab5e6139e6850974eedac4bc6e9d0671 (patch) | |
| tree | eb4baea22371b8b128e363717f98282834f52e7b /html | |
| parent | 6b3b7ce9a6da5548c157a6bf8289e4de18046a71 (diff) | |
Mentioned and linked ChangeLog file.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/html/download.phtml b/html/download.phtml index 64759de4..05db3d73 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -147,9 +147,19 @@ version distribution above is that we include: <ul> <li> provisional instantiations of Proof General to new provers <br> (mentioned in the - <?php fileshow("ProofGeneral-2.2pre990929/CHANGES","CHANGES"); ?> file), + <!-- WARNING! Line below automatically edited by makefile. --> + <?php fileshow("ProofGeneral-2.2pre990928/CHANGES","CHANGES"); ?> file), + <!-- End Warning. --> </li> - <li> the low-level list of things to do, </li> + <li> the + <!-- WARNING! Line below automatically edited by makefile. --> + <?php fileshow("ProofGeneral-2.2pre990928/todo","low-level list of things to do"); ?> + <!-- End Warning. --> + and the detailed + <!-- WARNING! Line below automatically edited by makefile. --> + <?php fileshow("ProofGeneral-2.2pre990928/ChangeLog","ChangeLog"); ?>, + <!-- End Warning. --> + </li> <li> developer's Makefile used to generate documentation files <br> and the release itself from our CVS repository, </li> <li> some test files, </li> |