/usr/share/doc/prover9-doc/html/advanced.html is in prover9-doc 0.0.200902a-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>Prover9 Manual: Advanced Features</title>
<link rel="stylesheet" href="manual.css">
</head>
<body>
<hr>
<table width="100%">
<tr>
<colgroup>
<col width="33%">
<col width="34%">
<col width="33%">
</colgroup>
<td align="left"><i>Prover9 Manual</i>
<td align="center"><img src="prover9-5a-256t.gif">
<td align="right"><i>Version 2009-02A</i>
</table>
<hr>
<!-- Main content -->
<h1>Advanced Features</h1>
<ul>
<li><a href="actions.html">Actions</a>
<li><a href="hints.html">Hints</a>
<li><a href="semantics.html">Semantics</a>
<li><a href="clause-properties.html">Clause Properties</a>
<li><a href="white-black.html">Keep and Delete Rules</a>
<li><a href="select2.html">Given Selection</a>
</ul>
<!--
<hr>
Next Section:
<a href="auto.html">Auto Modes</a>
-->
</body>
</html>
|