Revisions of metamath
Atri Bhattacharya (badshah400)
accepted
request 684127
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial release of the package based on version 0.174. - Package data base files and Metamath book separately. - Recommend both, make them noarch. - Add a brief manual page. - Do not build LaTeX docs on SLES, because TeXlive doesn't seem up to the task there.
Displaying revision 21 - 21 of 21