| changeset 15582 | 7219facb3fd0 |
| parent 15278 | 25dc2f17661b |
| child 16327 | cd2cd49e6c8f |
--- a/README.html Mon Mar 07 18:40:36 2005 +0100 +++ b/README.html Mon Mar 07 19:17:07 2005 +0100 @@ -1,9 +1,9 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<!-- $Id$ --> + <html> -<!-- $Id$ --> - <head> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> <title>The Isabelle System Distribution</title>