diff options
Diffstat (limited to 'html/IsaPGscreen.html')
| -rw-r--r-- | html/IsaPGscreen.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html index dc2927f6..3553294d 100644 --- a/html/IsaPGscreen.html +++ b/html/IsaPGscreen.html @@ -35,6 +35,7 @@ </TR> </TABLE> <HR> +<p> This is a picture of Isabelle Proof General running inside XEmacs, replaying a simple proof. <br> @@ -55,7 +56,7 @@ at each stage of the proof. <address><a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer</a></address> <!-- Created: Fri Oct 2 16:18:24 BST 1998 --> <!-- hhmts start --> -Last modified: Thu Oct 15 17:00:37 BST 1998 +Last modified: Thu Oct 15 17:45:47 BST 1998 <!-- hhmts end --> </body> </html> |