diff options
author | 1999-06-24 14:42:20 +0000 | |
---|---|---|
committer | 1999-06-24 14:42:20 +0000 | |
commit | 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 (patch) | |
tree | 83d651a0f3a3ccfe2da554b7dde44092cb6174bd /html/links.phtml | |
parent | a2159d6d38ea62e27cb596f4860b15bbdae1ef6d (diff) |
Support for version 3 browsers added.
Diffstat (limited to 'html/links.phtml')
-rw-r--r-- | html/links.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |