summarylogtreecommitdiffstats
path: root/metamath.install
AgeCommit message (Collapse)Author
2017-04-17Update to 0.138 and add metamath.pdfaksr