Package: mizar-semantic-mml Description: Semantic HTML presentation of the MML Version: 4.181.1147 Revision: 1 License: Commercial Homepage: http://mizar.org Source: ftp://mizar.uwb.edu.pl/pub/xmlmml/html_abstr.%v.tar.gz Source-Checksum: SHA256(5d8088b0ea70798b30bc1c8c2aa964a549a78db1624812b7d60c3b1439325cda) CompileScript: << << SourceDirectory: html InstallScript: << mkdir -p %i/share/mizar/html cp *.html %i/share/mizar/html mkdir -p %i/share/mizar/html/proofs cp -R proofs/* %i/share/mizar/html/proofs << DescDetail: << This package provides a hypertext version of a rich semantic representation of the Mizar Mathematical Library (MML). << Maintainer: Jesse Alama