Age | Commit message (Expand) | Author |
---|---|---|
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 |