Age | Commit message (Expand) | Author |
---|---|---|
2020-07-12 | gnu: Remove ".git" from "https://github/…/….git".... | Ludovic Courtès |
2020-02-03 | Merge branch 'staging' into core-updates | Marius Bakke |
2020-01-24 | gnu: swi-prolog: Update to 8.1.21.... | Brett Gilio |
2020-01-22 | gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'.... | Marius Bakke |
2020-01-04 | gnu: swi-prolog: Update to 8.1.20.... | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Modify documentation installation.... | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Enable tests.... | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog.... | Brett Gilio |
2020-01-03 | gnu: gprolog: Use license prefix.... | Brett Gilio |
2020-01-03 | Revert "gnu: Add swi-prolog."... | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog.... | Brett Gilio |
2020-01-03 | gnu: Rename module gprolog to prolog.... | Brett Gilio |