/usr/share/doc/prover9-doc/html/nav.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 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>Prover9 Manual</title>
<link rel="stylesheet" href="manual.css">
</head>
<body>
<ul class="navbar">
<li class="first"><i>Prover9 Manual</i>
<li><a href="intro.html" target="display">Introduction</a>
<li><a href="install.html" target="display">Installation</a>
<li><a href="running.html" target="display">Running Prover9</a>
<li><a href="input.html" target="display">Input Files</a>
<li><a href="syntax.html" target="display">Clauses & Formulas</a>
<li>Search Prep
<ul class="navbar2">
<li><a href="auto.html" target="display">Auto Modes</a>
<li><a href="term-order.html" target="display">Term Ordering</a>
<li><a href="more-prep.html" target="display">More Prep</a>
<li><a href="limits.html" target="display">Search Limits</a>
</ul>
<li>Inference
<ul class="navbar2">
<li><a href="loop.html" target="display">The Loop</a>
<li><a href="select.html" target="display">Select Given</a>
<li><a href="inf-rules.html" target="display">Inference Rules</a>
<li><a href="process-inf.html" target="display">Process Inferred</a>
</ul>
<li><a href="output.html" target="display">Output Files</a>
<li>More Features
<ul class="navbar2">
<li><a href="weight.html" target="display">Weighting</a>
<li><a href="attributes.html" target="display">Attributes</a>
<li><a href="goals.html" target="display">Goals and Denials</a>
<li><a href="production.html" target="display">Production Mode</a>
<li><a href="advanced.html" target="display">Advanced Features</a>
</ul>
<li>Mace4</a>
<ul class="navbar2">
<li><a href="mace4.html" target="display">Introduction</a>
<li><a href="m4-input.html" target="display">Input</a>
<li><a href="m4-options.html" target="display">Options</a>
<li><a href="m4-arithmetic.html" target="display">Arithmetic</a>
<li><a href="m4-interpformat.html" target="display">Interpformat</a>
<li><a href="m4-isofilter.html" target="display">Isofilter</a>
</ul>
<li>Related Programs
<ul class="navbar2">
<li><a href="prooftrans.html" target="display">Prooftrans</a>
<li><a href="fof-prover9.html" target="display">FOF-Prover9</a>
<li><a href="others.html" target="display">More Programs</a>
</ul>
<li>Ending
<ul class="navbar2">
<li><a href="options.html" target="display">All Prover9 Options</a>
<li><a href="glossary.html" target="display">Glossary</a>
<li><a href="references.html" target="display">References</a>
</ul>
</ul>
</body>
</html>
|