From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/doc.html | 140 ---------------------------------------------------------- 1 file changed, 140 deletions(-) delete mode 100644 html/doc.html (limited to 'html/doc.html') diff --git a/html/doc.html b/html/doc.html deleted file mode 100644 index 466add09..00000000 --- a/html/doc.html +++ /dev/null @@ -1,140 +0,0 @@ -

Manuals for Proof General

- -

-There is a short FAQ and two manuals for Proof General: -

- -

-The second manual gives instructions on how to adapt Proof General to new -proof systems, it's not needed for ordinary use. -For printing you can download: -

-

-The PostScript files are recommended over the PDF. -Both manuals (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. -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 -development download. -

- -

-You can discuss Proof General with other users and receive -announcements by joining our mailing -list. -

- - -

Manuals for Emacs

- -

If you're new to Emacs, it's recommended to try the Emacs tutorial, -available inside Emacs by pressing C-h t (which means -ctrl-with-h followed by t). There are many -other C-h commands, and the Help menu inside Emacs gives access -to more help facilities. -

-

For on-line reading, these links might be helpful: -

-(You don't need to look at anything about lisp unless you're interested -in developing Proof General). -

-

The corresponding manuals for XEmacs are -available here (xemacs.org). -

- - - - - - -

References

- -

Ideas for the future of Proof General are given here: -

- -

A technology overview of Proof General is given here: -

- -

Proof General supports Script Management as documented in: -

- -

- It has support for Proof by Pointing, as documented in: -

- -- cgit v1.2.3