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