diff options
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> |