From 2499cce984c20e3b2528d4a7268c0f682144fd3b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 17:58:26 +0000 Subject: Updated web pages for 3.2 release --- html/doc.html | 37 +++++++++++++++++++++++++------------ html/download.html | 26 +++++++++++++------------- html/index.html | 2 +- html/news.html | 43 ++----------------------------------------- html/oldnews.html | 44 ++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 85 insertions(+), 67 deletions(-) (limited to 'html') diff --git a/html/doc.html b/html/doc.html index 478bf88d..b300dfba 100644 --- a/html/doc.html +++ b/html/doc.html @@ -1,20 +1,33 @@

Manual

-Here is the - in HTML form, as included in the distribution. -
-For printing you can download the - -(recommended) or the -. +Two manuals are included in the distribution: +the + +and the +, which +gives instructions on how to adapt Proof General to new systems. +

+

+For printing you can download: +

+

+The PostScript files are recommended over the PDF.

-

-The manual (in HTML and Info formats), as well as other documentation, -is included in the download. When -running Proof General the manual is available from the "Proof General" -menu. It should also appear in the system Info pages. +Note that both manuals (in HTML and Info formats) are included in the +download. When running Proof General the manual +is available from the "Proof General" menu. It should also appear in +the system Info pages.

diff --git a/html/download.html b/html/download.html index 48934d13..6522bbee 100644 --- a/html/download.html +++ b/html/download.html @@ -99,7 +99,7 @@ All components mentioned above are distributed under the GPL license.

- Proof General Version 3.1, released 23rd March 2000 + Proof General Version 3.2, released 2nd October 2000

@@ -108,24 +108,24 @@ Proof General is available as an archive and an RPM package.

Both the tarball and the RPM package include the generic elisp code,
-code for LEGO, Coq, and Isabelle, installation instructions -and documentation (in Info and HTML formats). +code for the supported provers, installation instructions +and documentation in Info and HTML formats.

Documentation is available in other formats @@ -138,13 +138,13 @@ you may like to download the

This version of Proof General has been tested -with XEmacs 21.1 and FSF Emacs 20.4. +with XEmacs 21.1 and (briefly with) FSF Emacs 20.7. It supports Coq version 6.3, LEGO version 1.3.1 and -Isabelle99. +Isabelle99-1.

-Check the file -for a summary of changes since version 3.0. +Check the file +for a summary of changes since version 3.1.

Check the latest file @@ -166,7 +166,7 @@ please To use Proof General, simply unpack the sources with

- tar xpzf ProofGeneral-3.1.tar.gz + tar xpzf ProofGeneral-3.2.tar.gz

(use gunzip first in place of z if you don't have @@ -192,7 +192,7 @@ Use a zip file utility to unpack it somewhere, for example Further customization is possible via the Customize menus in Emacs.
-See the +See the file in the distribution for more details.

diff --git a/html/index.html b/html/index.html index f0cbe7a1..5d90977c 100644 --- a/html/index.html +++ b/html/index.html @@ -3,7 +3,7 @@ diff --git a/html/news.html b/html/news.html index ad738bd7..49c9e677 100644 --- a/html/news.html +++ b/html/news.html @@ -2,49 +2,10 @@

diff --git a/html/oldnews.html b/html/oldnews.html index 1ef78c93..bc61e287 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -3,6 +3,49 @@ small_header("Proof General Old News"); ?>