diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 12:46:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 12:46:36 +0000 |
| commit | f65e6c1bbf2d0f70df2a91f2dee95fc3df8cf73a (patch) | |
| tree | 8ad4b8b566d095c52cb31e2f03867dafc4cda7e8 /html | |
| parent | fc0012cc06ef58ce35bd827afb77450c66cd1270 (diff) | |
Fix typo
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.html | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/html/doc.html b/html/doc.html index 6c727af3..cb259e0c 100644 --- a/html/doc.html +++ b/html/doc.html @@ -6,14 +6,12 @@ There are two manuals for Proof General: <ul> <li> the <a href="userman">Proof General user manual</a> </li> -<li> the <a href="adaptingman">Adapting Proof General manual"</a> +<li> the <a href="adaptingman">Adapting Proof General manual</a> </li> </ul> <p> The second manual gives instructions on how to adapt Proof General to new proof systems, it's not needed for ordinary use. -</p> -<p> For printing you can download: <ul> <li> @@ -27,16 +25,14 @@ For printing you can download: </ul> <p> The PostScript files are recommended over the PDF. -Both manuals (in HTML and Info formats) are included in the +Both manuals (HTML and Info formats) are included in the <a href="download">download</a>. When running Proof General the manual is available from the "Proof General" menu. It should also appear in the system Info pages. -</p> -<p> 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 -<a href="develdownload">here</a>. +development version of Proof General, available with the +on the <a href="develdownload">development download</a>. </p> <p> |