2020-02-25 | Richard W.M. Jones | Fix whitespace. | blob | commitdiff |
2020-01-20 | Richard W.M. Jones | Rename tactic -> predicate. | blob | commitdiff | diff to current |
2020-01-18 | Richard W.M. Jones | stdlib: Improve performance of fedora.gl. | blob | commitdiff | diff to current |
2020-01-18 | Richard W.M. Jones | stdlib: Fix %branch -> %fedora-branch. | blob | commitdiff | diff to current |
2020-01-18 | Richard W.M. Jones | stdlib: Add fedora.gl. | blob | commitdiff | diff to current |