/usr/share/doc/matita-doc/html/cicbrowser.html is in matita-doc 0.5.8-3build1.
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 | <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Browsing and searching</title><link rel="stylesheet" href="docbook.css" type="text/css" /><meta name="generator" content="DocBook XSL Stylesheets V1.75.2" /><link rel="home" href="index.html" title="Matita V0.5.8 User Manual (rev. 0.5.8 )" /><link rel="up" href="sec_gettingstarted.html" title="Chapter 3. Getting started" /><link rel="prev" href="sec_gettingstarted.html" title="Chapter 3. Getting started" /><link rel="next" href="authoring.html" title="Authoring" /></head><body><a xmlns="" href="../../../"><div class="matita_logo"><img src="figures/matita.png" alt="Tiny Matita logo" /><span>Matita Home</span></div></a><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Browsing and searching</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="sec_gettingstarted.html">Prev</a> </td><th width="60%" align="center">Chapter 3. Getting started</th><td width="20%" align="right"> <a accesskey="n" href="authoring.html">Next</a></td></tr></table><hr /></div><div class="sect1" title="Browsing and searching"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="cicbrowser"></a>Browsing and searching</h2></div></div></div><p>The CIC browser is used to browse and search the library.
You can open a new CIC browser selecting "New Cic Browser"
from the "View" menu of Matita, or by pressing "F3".
The CIC browser is similar to a traditional Web browser.</p><div class="sect2" title="Browsing the library"><div class="titlepage"><div><div><h3 class="title"><a id="browsinglib"></a>Browsing the library</h3></div></div></div><p>To browse the library, type in the location bar the absolute URI of
the theorem, definition or library fragment you are interested in.
"cic:/" is the root of the library. Contributions developed
in Matita are under "cic:/matita"; all the others are
part of the library of Coq.</p><p>Following the hyperlinks it is possible to navigate in the Web
of mathematical notions. Proof are rendered in pseudo-natural language
and mathematical notation is used for formulae. For now, mathematical
notation must be included in the current script to be activated, but we
plan to remove this limitation.</p></div><div class="sect2" title="Looking at a proof under development"><div class="titlepage"><div><div><h3 class="title"><a id="aboutproof"></a>Looking at a proof under development</h3></div></div></div><p>A proof under development is not yet part of the library.
The special URI "about:proof" can be used to browse the
proof currently under development, if there is one.
The "home" button of the CIC browser sets the location bar to
"about:proof".
</p></div><div class="sect2" title="Searching the library"><div class="titlepage"><div><div><h3 class="title"><a id="whelp"></a>Searching the library</h3></div></div></div><p>The query bar of the CIC browser can be used to search the library
of Matita for theorems or definitions that match certain criteria.
The criteria is given by typing a term in the query bar and selecting
an action in the drop down menu right of it.</p><div class="sect3" title="Searching by name"><div class="titlepage"><div><div><h4 class="title"><a id="locate"></a>Searching by name</h4></div></div></div><p> <span class="emphasis"><em>TODO</em></span></p></div><div class="sect3" title="List of lemmas that can be applied"><div class="titlepage"><div><div><h4 class="title"><a id="hint"></a>List of lemmas that can be applied</h4></div></div></div><p> <span class="emphasis"><em>TODO</em></span></p></div><div class="sect3" title="Searching by exact match"><div class="titlepage"><div><div><h4 class="title"><a id="match"></a>Searching by exact match</h4></div></div></div><p> <span class="emphasis"><em>TODO</em></span></p></div><div class="sect3" title="List of elimination principles for a given type"><div class="titlepage"><div><div><h4 class="title"><a id="elim"></a>List of elimination principles for a given type</h4></div></div></div><p> <span class="emphasis"><em>TODO</em></span></p></div><div class="sect3" title="Searching by instantiation"><div class="titlepage"><div><div><h4 class="title"><a id="instance"></a>Searching by instantiation</h4></div></div></div><p> <span class="emphasis"><em>TODO</em></span></p></div></div></div><div class="navfooter"><hr /><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="sec_gettingstarted.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="sec_gettingstarted.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="authoring.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 3. Getting started </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Authoring</td></tr></table></div></body></html>
|