added DOCTYPE and Content-Type declarations to make this a valid HTML file
authorwebertj
Fri Nov 12 15:49:25 2004 +0100 (2004-11-12)
changeset 1527825dc2f17661b
parent 15277 eb649b6dbf15
child 15279 95cc0d447916
added DOCTYPE and Content-Type declarations to make this a valid HTML file
README.html
     1.1 --- a/README.html	Fri Nov 12 15:45:19 2004 +0100
     1.2 +++ b/README.html	Fri Nov 12 15:49:25 2004 +0100
     1.3 @@ -1,9 +1,12 @@
     1.4 +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     1.5 +
     1.6  <html>
     1.7  
     1.8  <!-- $Id$ -->
     1.9  
    1.10  <head>
    1.11 -<title>The Isabelle System Distribution</title>
    1.12 +  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
    1.13 +  <title>The Isabelle System Distribution</title>
    1.14  </head>
    1.15  
    1.16  <body>
    1.17 @@ -128,8 +131,8 @@
    1.18  <p>
    1.19  
    1.20  <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
    1.21 -Institut für Informatik<br>
    1.22 -Technische Universität München<br>
    1.23 +Institut fr Informatik<br>
    1.24 +Technische Universit� Mnchen<br>
    1.25  Boltzmannstr. 3<br>
    1.26  D-85748 Garching<br>
    1.27  Germany<br>