From 2ed53db7506dd4811fbe6c3fac64c3703d1169a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 14:04:28 +0000
Subject: New web pages
---
html/doc.phtml | 63 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 63 insertions(+)
create mode 100644 html/doc.phtml
(limited to 'html/doc.phtml')
diff --git a/html/doc.phtml b/html/doc.phtml
new file mode 100644
index 00000000..5f90f3f9
--- /dev/null
+++ b/html/doc.phtml
@@ -0,0 +1,63 @@
+Manual
+
+
+Full documentation for Proof General is included in the When running Proof General the
+manual is available from the "Proof General" menu. It should also
+appear in the system info pages.
+
+
+
+For convenience, the documentation is also available in HTML
+
+
+You can download the
+dvi,
+ps,
+or
+pdf
+versions for printing.
+
+
+
+Note: the documentation above is taken from the current
+pre-release and may be updated from the documentation included
+in the last stable release.
+
+
+
+References
+
+ Proof General supports Script Management as documented in:
+
+
+
+ It has support for Proof by Pointing, as documented in:
+
+
+
--
cgit v1.2.3