Fink

Package mizar-semantic-mml-4.181.1147-1

SystemCVS/rsync Source DistributionsDebian Binary Distributions
stable RSS feed stableunstable RSS feed unstablestableunstable
10.9/x86_64
 
 
 
10.8/x86_64
 
 
10.7/x86_64
4.181.1147-1
 
 
 
10.6/x86_64
 
 
 
10.6/i386
 
 
 
10.5/i386 *
 
 
 
10.5/powerpc *
 
 
 
10.4/i386 *
 
 
 
10.4/powerpc *
 
 
 
10.3/powerpc *
 
 
 
10.2-gcc3.3/powerpc *
 
 
 
 
10.2/powerpc *
 
 
 
 
10.1/powerpc *
 
 
 
 
Description:   Semantic HTML presentation of the MML (4.181.1147-1)
This package provides a hypertext version of a rich semantic representation of the Mizar Mathematical Library (MML).
Section:   sci
Maintainer:   Jesse Alama <jesseDOTalamaATgmailDOTcom>
Website:   http://mizar.org
License:   Commercial
Info-File:   dists/10.7/stable/main/finkinfo/sci/mizar-semantic-mml.info
CVS log, Last Changed: Sun, 23 Sep 2012 05:12:14 (UTC)

Section list - Flat package list - Search packages

(*) = Unsupported distribution.