| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-08 | Update to 0.182. | aksr | |
| 2019-11-01 | Update to 0.178. | aksr | |
| 2019-08-06 | Update to 0.177. | aksr | |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr | |
| 2015-10-06 | Update to 0.118. | aksr | |
| 2015-06-28 | Start. | aksr | |
| AUR : metamath.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-08 | Update to 0.182. | aksr | |
| 2019-11-01 | Update to 0.178. | aksr | |
| 2019-08-06 | Update to 0.177. | aksr | |
| 2017-04-17 | Update to 0.138 and add metamath.pdf | aksr | |
| 2015-10-06 | Update to 0.118. | aksr | |
| 2015-06-28 | Start. | aksr | |