From 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 14:42:20 +0000
Subject: Support for version 3 browsers added.

---
 html/links.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/links.phtml')

diff --git a/html/links.phtml b/html/links.phtml
index 6ac723f4..32be2894 100644
--- a/html/links.phtml
+++ b/html/links.phtml
@@ -11,5 +11,5 @@ for links to include here, or find broken links, please
   script management is not supported, but there are extensive
   menus and shortcuts provided for common Isabelle
   commands.
+</li>
 </ul>
-<li>
\ No newline at end of file
-- 
cgit v1.2.3