This file is indexed.

/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>