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