Package: mizar-semantic-mml Description: Semantic HTML presentation of the MML Version: 4.166.1132 Revision: 1 Replaces: mizar-semantic-mml (<= 4.66.942) License: Commercial Homepage: http://mizar.org Source: ftp://mizar.uwb.edu.pl/pub/xmlmml/html_abstr.%v.tar.gz Source-MD5: f00b1f11bc86e27b42f56e67c1a2666b 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