Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-12-23 | Update to 0.198. | aksr | |
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 | |