- <li> the knowledge base is distributed: every authored concepts can be
- published becoming part of the Matita library which can be browsed as
- an hypertext (locally or on the World Wide Web) and searched by means
- of content-based queries; </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>