From jan@swi.psy.uva.nl Mon Jul  9 17:20:26 2001
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.152.30])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f69FKQX28479
	for <prolog@swi.psy.uva.nl>; Mon, 9 Jul 2001 17:20:26 +0200 (MET DST)
Received: (from jan@localhost)
	by gollem.swi.psy.uva.nl (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f69FKQ702239
	for prolog@swi.psy.uva.nl; Mon, 9 Jul 2001 17:20:26 +0200
Date: Mon, 9 Jul 2001 17:20:26 +0200
Message-Id: <200107091520.f69FKQ702239@gollem.swi.psy.uva.nl>
From: Jan Wielemaker <jan@swi.psy.uva.nl>
To: prolog@swi.psy.uva.nl
Phone: +31 - 20 - 525 6121
Subject: [SWIPL] Announce SWI-Prolog 4.0.9

Hi,

I've just uploaded SWI-Prolog 4.0.9 to the usual places.  The reason for
this quick upgrade is twofold.

	!!!!!!!!!!!!!!!!
	* A conflict introduced with the Cygwin port has broken the
	Windows version 4.0.8 seriously. It runs small programs, but
	crashes with REPEATING OUT-OF STACK on more serious programs.
	!!!!!!!!!!!!!!!!

	Non-Win32 platforms are not affected by this!

	4.0.8 has been removed from the server.

	* A good deal of improved Quintus compatibility has been added
	to make the 3TAP theorem prover portable
	(http://i12www.ira.uka.de/~threetap):

		* Added compile/1, midstring/[3-6], date/1, subsumes_chk/2
		to library(quintus).

		* Implemented library(occurs) doing subterm-relations

		* Added library(ordsets), a (partial) layer around
		library(oset) for compatibility.  Needs completion!

		* Added library(qpforeign), an updated version of very
		old code to deal with lots of aspects of the Quintus
		foreign code interface for attaching C-functions
		handling native C-datatypes (i.e. not QP_term/term_t).

		This should make porting Quintus and SICStus code
		holding foreign code often trivial and almost always
		feasible.


	Regards --- Jan
	
P.s.	Please note that the official addresses of the SWI servers have
	changed from plain swi.psy.uva.nl to www.swi.psy.uva.nl and
	ftp.swi.psy.uva.nl. The old addresses will stop working
	somewhere in the future.  Please update your links!

