diff options
| author | David Aspinall | 2002-07-15 09:32:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-15 09:32:38 +0000 |
| commit | 9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9 (patch) | |
| tree | d7b9850fb03276195e8eabcbecc8ca9ee6d39857 /html/screenshot.html | |
| parent | e1929f06c1935fc2bf6d2b94a57c5b0a44229ec1 (diff) | |
Fix
Diffstat (limited to 'html/screenshot.html')
| -rw-r--r-- | html/screenshot.html | 4 |
1 files changed, 2 insertions, 2 deletions
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> |