- <li>
- <p>
- <span class="screenshots">
- <a class="quiet" href="images/screenshot-matita-href.png">
- <img src="images/MINI_screenshot-matita-href.png" alt="Matita screenshot: hyperlinks" />
- </a>
- <a class="quiet" href="images/screenshot-matita-selection.png">
- <img src="images/MINI_screenshot-matita-selection.png" alt="Matita screenshot: direct manipulation" />
- </a>
- </span>
- the user interface sports high quality bidimensional rendering of
- proofs and formulae transformed on-the-fly to <a
- href="http://www.w3.org/Math/">MathML</a> markup, on which direct
- manipulation of the underlying CIC terms is still possible;
- </p>
- </li>
-
- <li>
- <p>
- <span class="screenshots">
- <a class="quiet" href="images/screenshot-cicbrowser-browsing.png">
- <img src="images/MINI_screenshot-cicbrowser-browsing.png" alt="Matita screenshot: library browsing" />
- </a>
- <a class="quiet" href="images/screenshot-cicbrowser-query.png">
- <img src="images/MINI_screenshot-cicbrowser-query.png" alt="Matita screenshot: Whelp query" />
- </a>
- <!--
- <a class="quiet" href="images/screenshot-cicbrowser-proof.png">
- <img src="images/MINI_screenshot-cicbrowser-proof.png" alt="Matita screenshot: proof rendering" />
- </a>
- -->
- </span>
- the knowledge base is distributed: every authored concepts can be
- published becoming part of the Matita library which can be <a
- href="http://helm.cs.unibo.it/browse/">browsed as an hypertext</a>
- (locally or on the World Wide Web) and <a
- href="http://helm.cs.unibo.it/whelp/"> searched by means of
- content-based queries</a>; </p>
- </li>