diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-15 09:32:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-15 09:32:38 +0000 |
| commit | 9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9 (patch) | |
| tree | d7b9850fb03276195e8eabcbecc8ca9ee6d39857 /html | |
| parent | e1929f06c1935fc2bf6d2b94a57c5b0a44229ec1 (diff) | |
Fix
Diffstat (limited to 'html')
| -rw-r--r-- | html/index.php | 1 | ||||
| -rw-r--r-- | html/news.html | 1 | ||||
| -rw-r--r-- | html/screenshot | 1 | ||||
| -rw-r--r-- | html/screenshot.html | 4 |
4 files changed, 2 insertions, 5 deletions
diff --git a/html/index.php b/html/index.php index 5d90977c..3eb50db3 100644 --- a/html/index.php +++ b/html/index.php @@ -1,5 +1,4 @@ <?php require('functions.php3'); ?> -<html> <?php include('head.html'); ?> <?php include('header.html'); diff --git a/html/news.html b/html/news.html index 185a8131..bff758f7 100644 --- a/html/news.html +++ b/html/news.html @@ -32,4 +32,3 @@ robust as possible. Thanks! <i>News items by <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>.</i> <br> <i>Click <a href="oldnews.html">here</a> for old news.</i> -</p> diff --git a/html/screenshot b/html/screenshot index f0cbe7a1..bba013ba 100644 --- a/html/screenshot +++ b/html/screenshot @@ -1,5 +1,4 @@ <?php require('functions.php3'); ?> -<html> <?php include('head.html'); ?> <?php include('header.html'); diff --git a/html/screenshot.html b/html/screenshot.html index 6cce9e3a..ffc9e8a4 100644 --- a/html/screenshot.html +++ b/html/screenshot.html @@ -49,7 +49,7 @@ induction step, because the background of the proof step is pink. It will become blue when Coq finishes that step. </font></p> -</br> +<br> </td></tr> <tr> @@ -73,7 +73,7 @@ display as symbols using the package in conjunction with Proof General. Here you can see some symbols in Isabelle's output. </font></p> -</br> +<br> </td></tr> <tr> |