replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

use highlight

This commit is contained in:
Daniel Kroening 2016-06-13 12:11:47 +01:00
parent 4ba56e3e4c
commit ed64eb0a5e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/html-manual/modeling-pointers.shtml
View File

@ -1,5 +1,9 @@
<!--#include virtual="header.inc" -->
<link rel="stylesheet" href="highlight/styles/default.css">
<script src="highlight/highlight.pack.js"></script>
<script>hljs.initHighlightingOnLoad();</script>
<p><a href="./">CPROVER Manual TOC</a></p>
<h2>Pointer Model</h2>