diff options
| author | David Aspinall | 1998-10-15 16:43:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-15 16:43:42 +0000 |
| commit | 94de4a61434e5533ae5e9582b8bd21c2dc6aefa9 (patch) | |
| tree | 76230915b8244cc5a4ad55426e4435d1a2a1fc41 | |
| parent | fd627badc16a9a70e6547b1416bfc03938854e73 (diff) | |
Fixed top spacing to match other pages.
| -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> |