diff options
| author | David Aspinall | 2002-08-08 10:22:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 10:22:04 +0000 |
| commit | 0f1805c99b0becc3261df69a553778a2d7625ab5 (patch) | |
| tree | 29aa1273535dfe67231532458c3a79e4ac739eeb /html | |
| parent | d57f22c08f5642f7edf47fed6c9aa2eb953877a3 (diff) | |
Typos/fixes.
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.php | 2 | ||||
| -rw-r--r-- | html/doc.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index d0afa599..ebc47ee2 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -37,7 +37,7 @@ Here is the pre-release documentation: the user manual in <?php download_link("ProofGeneral-latest/doc/ProofGeneral.ps.gz", "ps") ?> or <?php download_link("ProofGeneral-latest/doc/ProofGeneral.pdf", "pdf") ?>, -and the new separate "adapting" manual, in +and the adapting manual, in <?php htmlshow("ProofGeneral-latest/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>, <?php download_link("ProofGeneral-latest/doc/PG-adapting.ps.gz", "ps") ?> or diff --git a/html/doc.html b/html/doc.html index b8c1cf54..b06b6dd2 100644 --- a/html/doc.html +++ b/html/doc.html @@ -33,7 +33,7 @@ the system Info pages. If you're considering developing Proof General, please check that you are using the documentation for the most recent development version of Proof General, available with the -on the <a href="develdownload">development download</a>. +<a href="develdownload">development download</a>. </p> <p> |