Package mizar-gab-html-4.166.1132-1
| System | Binary Distributions | CVS/rsync Source Distributions | |
|---|---|---|---|
 stable | unstable | ||
10.7/x86_64 | |||
10.6/x86_64 | |||
10.6/i386 | |||
10.5/i386 | |||
10.5/powerpc | 4.166.1132-1 | ||
| Description: | HTML presentation of Generated ABstracts (4.166.1132-1) | |
This package contains HTML representations of the Generated ABstracts
(GAB's) or the articles in the Mizar Mathematical Library (MML).
For more information on the Mizar project, see http://www.mizar.org .
For more information on the MML Query tool, which is used to produce
the GAB's, see http://merak.pb.bialystok.pl . | ||
| Section: | sci | |
| Maintainer: | Jesse Alama <alamaATstanfordDOTedu> | |
| Website: | http://mmlquery.mizar.org | |
| License: | Commercial | |
| Info-File: | dists/10.4/stable/main/finkinfo/sci/mizar-gab-html.info CVS log, Last Changed: Sat, 24 Mar 2012 22:45:35 (UTC) | |
Section list - Flat package list - Search packages
(*) = Unsupported distribution.