Package: mizar-semantic-mml Description: Semantic HTML presentation of the MML Version: 4.66.942 Revision: 1 License: Commercial Homepage: http://mmlquery.mizar.org Source: http://www.stanford.edu/~alama/semantic-mml.tar.bz2 Source-MD5: 4906a0cc61a3d11ed5800afecb3e1423 CompileScript: << << InstallScript: << mkdir -p %i/share/mizar/semantic-mml cp *.html %i/share/mizar/semantic-mml << DescDetail: << This package provides a hypertext version of a rich semantic representation of the Mizar Mathematical Library (MML). << Maintainer: Jesse Alama