Subject: [SWIPL] Replaced sources and RPM for 4.0.11

From: Jan Wielemaker <[email-masked]>
Date: Mon, 10 Dec 2001 16:59:13 +0100

Hi,

I've replaced both the source and Linux RPM.  The first to make it
build again on systems lacking the readline library.  The RPM is now
statically linked to libreadline.a, hopefully fixing version trouble
between the various Linux vendors.

	--- Jan