Package: mizar-gab-html
Description: HTML presentation of Generated ABstracts
Version: 4.166.1132
Revision: 1
Homepage: http://mmlquery.mizar.org
License: Commercial
Source: http://mmlquery.mizar.org/mmlquery/downloads/html-%v.tgz
Source-MD5: cfabe22d917f66773fe213a47bdb2f5d
SourceDirectory: %v
Maintainer: Jesse Alama <alama@stanford.edu>
CompileScript: <<
<<
InstallScript: <<
  mkdir -p %i/share/mizar/gab/html
  cp *.html %i/share/mizar/gab/html
<<
DescDetail: <<
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 .
<<