diff options
| author | David Aspinall | 1998-12-17 17:13:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-17 17:13:18 +0000 |
| commit | 7d3d4d53a861a671e487e15aea35f760189a42e8 (patch) | |
| tree | 216133b20092a86f15f1d1bab50151612e15610c /html | |
| parent | 7c0b21aa8225cdf4543695f7a0f85ff526ff8e4e (diff) | |
Updated to use local validator.
Diffstat (limited to 'html')
| -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 aca64d8d..124d96ae 100644 --- a/html/IsaPGscreen.html +++ b/html/IsaPGscreen.html @@ -50,13 +50,13 @@ at each stage of the proof. <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 + <A HREF="http://validator.dcs.ed.ac.uk/check?uri=http://www.dcs.ed.ac.uk/~proofgen/IsaPGscreen.html;pw;ss"><IMG BORDER=0 SRC="vh40.gif" ALT="Valid HTML 4.0!" HEIGHT=31 WIDTH=88 ALIGN=right></A> <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 Dec 17 10:52:37 GMT 1998 +Last modified: Thu Dec 17 17:17:30 GMT 1998 <!-- hhmts end --> </body> </html> |