aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Expand)AuthorAge
...
* gnu: swi-prolog: Update to 8.3.4.Brett Gilio2020-07-18
* gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès2020-07-12
* Merge branch 'staging' into core-updatesMarius Bakke2020-02-03
|\
| * gnu: swi-prolog: Update to 8.1.21.Brett Gilio2020-01-24
* | gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'.Marius Bakke2020-01-22
|/
* gnu: swi-prolog: Update to 8.1.20.Brett Gilio2020-01-04
* gnu: swi-prolog: Modify documentation installation.Brett Gilio2020-01-04
* gnu: swi-prolog: Enable tests.Brett Gilio2020-01-04
* gnu: Add swi-prolog.Brett Gilio2020-01-03
* gnu: gprolog: Use license prefix.Brett Gilio2020-01-03
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03
* gnu: Add swi-prolog.Brett Gilio2020-01-03
* gnu: Rename module gprolog to prolog.Brett Gilio2020-01-03