Skip to content

Commit 9f2df28

Browse files
author
Daniel Kroening
committed
W3C compliance fixes
1 parent 01ed76a commit 9f2df28

12 files changed

+25
-25
lines changed

‎doc/html-manual/cbmc-loops.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/cbmc.shtml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

@@ -29,7 +29,7 @@ the program.
2929
<p class="justified">
3030
As an example, consider the following simple program, named
3131
<a href="file1.c">file1.c</a>:
32-
<p/>
32+
</p>
3333

3434
<pre><code class="c">int puts(const char *s) { }
3535

‎doc/html-manual/cover.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/cprover-source.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/hwsw-inputs.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/hwsw-mapping.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/hwsw-tutorial.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/modeling-assertions.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/modeling-pointers.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/satabs-aeon.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/satabs-driver.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

‎doc/html-manual/satabs.shtml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
<!--#include virtual="header.inc" -->
22

33
<link rel="stylesheet" href="highlight/styles/default.css">
4-
<script src="highlight/highlight.pack.js"></script>
5-
<script>hljs.initHighlightingOnLoad();</script>
4+
<script src="highlight/highlight.pack.js" type="text/javascript"></script>
5+
<script type="text/javascript">hljs.initHighlightingOnLoad();</script>
66

77
<p><a href="./">CPROVER Manual TOC</a></p>
88

0 commit comments

Comments
 (0)