Age | Commit message (Expand) | Author |
---|---|---|
2020-11-16 | metamath: 0.182 -> 0.193 | Nathan van Doorn |
2020-05-01 | metamath: 0.181 -> 0.182 | Nathan van Doorn |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly |
2020-03-14 | metamath: 0.180 -> 0.181 | Nathan van Doorn |
2020-02-12 | metamath: 0.178 -> 0.180 | Nathan van Doorn |
2019-12-30 | treewide: installTargets is a list | Robin Gloster |
2019-10-15 | metamath: 0.172 -> 0.178 | Nathan van Doorn |
2019-08-28 | treewide: remove redundant rec | volth |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth |
2019-01-29 | metamath: 0.171 -> 0.172 | Nathan van Doorn |
2019-01-07 | metamath: 0.168 -> 0.171 | Nathan van Doorn |
2018-12-11 | metamath: 0.167 -> 0.168 | Nathan van Doorn |
2018-12-09 | metamath: init at 0.167 | Nathan van Doorn |