diff options
| author | David Aspinall | 1998-10-08 14:48:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-08 14:48:58 +0000 |
| commit | 4201a5161e161c8be5811f14d095172a9b257137 (patch) | |
| tree | 0ff616375b88f9f34d2ee3380fa20c7c058a4fc2 | |
| parent | 6711805d512b620e102db93b6854a31907a6a95c (diff) | |
Validator fix
| -rw-r--r-- | html/IsaPGscreen.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/IsaPGscreen.html b/html/IsaPGscreen.html index 66d32390..84518259 100644 --- a/html/IsaPGscreen.html +++ b/html/IsaPGscreen.html @@ -39,7 +39,7 @@ sent to the proof process so far. It cannot be edited. The bottom half of the window displays the output from Isabelle at each stage of the proof. <p> -<img src="IsaPGscreen.jpg"> +<img src="IsaPGscreen.jpg" ALT="Isabelle Proof General screenshot"> <p> <hr> <A HREF="http://validator.w3.org/check?uri=http://www.dcs.ed.ac.uk/~proofgen/IsaPGscreen.html;pw;ss"><IMG BORDER=0 @@ -48,7 +48,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 8 15:42:27 BST 1998 +Last modified: Thu Oct 8 15:51:02 BST 1998 <!-- hhmts end --> </body> </html> |