 edd
|
f887032a6c
Update SWI Prolog to version 6.6.4.
|
10 年之前 |
|
edd
|
c25a2becf5
Update to swi-prolog-6.2.6 and move docs to where you would expect.
|
11 年之前 |
|
edd
|
15f1c4aba5
Update to swi-prolog-6.2.2.
|
12 年之前 |
|
edd
|
26f505717d
Update swi-prolog to 5.10.5.
|
13 年之前 |
 jasper
|
c1ea93f1b6
- update to 5.10.4
|
13 年之前 |
|
jasper
|
021b835a3b
- update swi-prolog to 5.10.2
|
14 年之前 |
 espie
|
ac15a1bac7
update to 5.6.59
|
16 年之前 |
|
espie
|
9eafbbfb35
base64 checksums.
|
17 年之前 |
|
espie
|
095670b78e
update to 5.6.27. We lose the sgml package temporarily (wide-chars),
|
18 年之前 |
|
espie
|
16c9cc6857
prolog interpreter that works, since gnu-prolog depends on a memory model
|
18 年之前 |
