| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: swi-prolog: Update to 8.1.20.•••* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
| Brett Gilio | 2020-01-04 | 1 | -2/+2 |
| * | gnu: swi-prolog: Modify documentation installation.•••* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
| Brett Gilio | 2020-01-04 | 1 | -2/+1 |
| * | gnu: swi-prolog: Enable tests.•••* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work
around tests that cause failure by trying to write to the store, or
establishing a network connection.
| Brett Gilio | 2020-01-04 | 1 | -1/+27 |
| * | gnu: Add swi-prolog.•••* gnu/packages/prolog.scm (swi-prolog): New variable.
| Brett Gilio | 2020-01-03 | 1 | -0/+57 |
| * | gnu: gprolog: Use license prefix.•••* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
| Brett Gilio | 2020-01-03 | 1 | -2/+3 |
| * | Revert "gnu: Add swi-prolog."•••This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
| Brett Gilio | 2020-01-03 | 1 | -43/+0 |
| * | gnu: Add swi-prolog.•••* gnu/packages/prolog.scm (swi-prolog): New variable.
| Brett Gilio | 2020-01-03 | 1 | -0/+43 |
| * | gnu: Rename module gprolog to prolog.•••* gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm.
* gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not
implementation specific.
| Brett Gilio | 2020-01-03 | 1 | -0/+69 |
