<!--#include virtual="menubar.shtml" -->
<h1><span class="h1">Miki</span></h1>
<p>
- Miki is not yet ready...
+ We are currently developing
+ <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
+ technologies to support collaborative development of the Matita
+ library, encouraging people to expand, modify and elaborate previous
+ contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
+ codename of the effort.
</p>
<!--#include virtual="bottombar.shtml" -->
</body>
</head>
<body>
<!--#include virtual="menubar.shtml" -->
+ <p>
+ The origin of Matita go back to 1999 and are intertwined with the
+ <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
+ lot of people contributed both ideas and source code that have made
+ Matita what it looks today. In this page we tried to summarize all
+ of them, we apologize for whom we forgot to mention.
+ </p>
<h1><span class="h1">Current team members</span></h1>
<ul>
<li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>
<!--#include virtual="menubar.shtml" -->
<h1><span class="h1">User manual</span></h1>
<p>
- Please be patient...
+ We are working on the user manual of Matita. The current status is
+ available in our
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
+ in the
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&rev=0&sc=0"><kbd>matita/help</kbd> directory</a>
+ (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
</p>
<!--#include virtual="bottombar.shtml" -->
</body>
<!--#include virtual="menubar.shtml" -->
<h1><span class="h1">Sources</span></h1>
<p>
- Since there is no official release, you can browse the
- <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
- and get the sources of
- <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&rev=0&sc=0">components/</a>
- and
- <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&rev=0&sc=0">matita/</a>.
+ Matita has no officiale releases yet.
+ Still, you can get and build Matita from sources.
+ All our source code is released under the terms of the GNU General
+ Public Licence and is publically accessible on our
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>.
+ Go there and download the tarball of the
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&rev=0&sc=0"><kbd>components/</kbd></a>
+ on which Matita is built and of
+ <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&rev=0&sc=0"><kbd>matita/</kbd></a>
+ itself.
</p>
<!--#include virtual="bottombar.shtml" -->
</body>
font-size: 12pt;
background-image: url(images/sheetbg.png);
background-repeat: repeat;
- margin-left: 20px;
+ margin-left: 7%;
+ margin-right: 7%;
}
span.h1 {
border-color: #cb8080;
margin-right: auto;
- margin-left: 10%;
+/* margin-left: 10%; */
}
p {
- margin-left:10%;
+/* margin-left:10%; */
}
ul {
- margin-left:10%;
+/* margin-left:10%; */
list-style-type: none;
}
border-right-width: 0px;
border-style: solid;
- margin-left:20px;
+/* margin-left:20px; */
margin-right:20px;
}
width: auto;
text-align:right;
margin-top: 40px;
- margin-right: 40px;
-
}
div.uplined {
projects / helm.git / commitdiff