11 Commits

Author	SHA1	Message	Date
edd	16aad340c7	Update lang/swi-prolog to version 7.6.0. ... For the first time, all tests are now passing on OpenBSD. This is thanks to the hard work of Jan Wielemaker who went on a bug fixing rampage after I set him up an OpenBSD VM. As a result, lots of patches also disappeared, thus making the port simpler. Many thanks for this Jan! OK jeremy@, thanks.	2017-11-06 21:57:01 +00:00
edd	f887032a6c	Update SWI Prolog to version 6.6.4. ... OK ajacoutot@, benoit@	2014-04-04 17:17:03 +00:00
edd	c25a2becf5	Update to swi-prolog-6.2.6 and move docs to where you would expect. ... OK jasper@	2013-07-10 09:10:44 +00:00
edd	15f1c4aba5	Update to swi-prolog-6.2.2. ... OK jasper@	2012-10-01 21:16:00 +00:00
edd	26f505717d	Update swi-prolog to 5.10.5. ... OK jasper@	2011-09-17 16:06:32 +00:00
jasper	c1ea93f1b6	- update to 5.10.4	2011-04-08 07:55:16 +00:00
jasper	021b835a3b	- update swi-prolog to 5.10.2 ... - unbreak on hppa (tested by landry@) If you are upgrading from an older release (e.g. 5.6.x) it is advised to read the upgrading guide which is available from http://www.swi-prolog.org/Upgrade-5.8.html	2010-12-27 16:07:08 +00:00
espie	ac15a1bac7	update to 5.6.59	2008-08-29 12:30:21 +00:00
espie	9eafbbfb35	base64 checksums.	2007-04-05 16:19:55 +00:00
espie	095670b78e	update to 5.6.27. We lose the sgml package temporarily (wide-chars), ... but we gain sparc64 support ! seems the fixes for win64 also fixed our problems. Add a few SUBST variables to simplify packing-list comparisons.	2007-01-27 17:35:46 +00:00
espie	16c9cc6857	prolog interpreter that works, since gnu-prolog depends on a memory model ... that doesn't work well for us.	2006-10-09 10:20:24 +00:00