Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-12-09 | metamath: 0.196 -> 0.198 | R. Ryantm | 1 | -2/+2 |
2021-03-09 | metamath: fix cross-compilation and update license | Ben Siraphob | 1 | -6/+4 |
2021-01-30 | metamath: 0.194 -> 0.196 | R. RyanTM | 1 | -2/+2 |
2021-01-23 | Merge pull request #107785 from Taneb/metamath-194 | Guillaume Girol | 1 | -5/+7 |
2021-01-23 | pkgs/development/interpreters: stdenv.lib -> lib | Ben Siraphob | 1 | -2/+2 |
2020-12-28 | metamath: correct license to gpl2Only | Nathan van Doorn | 1 | -1/+1 |
2020-12-28 | metamath: refer to tag rather than commit | Nathan van Doorn | 1 | -3/+5 |
2020-12-28 | metamath: 0.193 -> 0.194 | Nathan van Doorn | 1 | -3/+3 |
2020-11-16 | metamath: 0.182 -> 0.193 | Nathan van Doorn | 1 | -3/+3 |
2020-05-01 | metamath: 0.181 -> 0.182 | Nathan van Doorn | 1 | -9/+3 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2020-03-14 | metamath: 0.180 -> 0.181 | Nathan van Doorn | 1 | -3/+3 |
2020-02-12 | metamath: 0.178 -> 0.180 | Nathan van Doorn | 1 | -3/+3 |
2019-12-30 | treewide: installTargets is a list | Robin Gloster | 1 | -1/+1 |
2019-10-15 | metamath: 0.172 -> 0.178 | Nathan van Doorn | 1 | -9/+11 |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2019-01-29 | metamath: 0.171 -> 0.172 | Nathan van Doorn | 1 | -3/+3 |
2019-01-07 | metamath: 0.168 -> 0.171 | Nathan van Doorn | 1 | -3/+3 |
2018-12-11 | metamath: 0.167 -> 0.168 | Nathan van Doorn | 1 | -3/+3 |
2018-12-09 | metamath: init at 0.167 | Nathan van Doorn | 1 | -0/+34 |