From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 9943 invoked by alias); 10 Sep 2003 11:57:03 -0000 Mailing-List: contact cygwin-help@cygwin.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner@cygwin.com Mail-Followup-To: cygwin@cygwin.com Received: (qmail 9913 invoked from network); 10 Sep 2003 11:57:02 -0000 Received: from unknown (HELO redhat.com) (24.131.133.249) by sources.redhat.com with SMTP; 10 Sep 2003 11:57:02 -0000 Received: by redhat.com (Postfix, from userid 201) id 8186D32A822; Wed, 10 Sep 2003 07:57:02 -0400 (EDT) From: Corinna Vinschen To: cygwin@cygwin.com Subject: [ANNOUNCEMENT] New package: SWI-Prolog-5.2.6-1 Reply-To: cygwin@cygwin.com Message-Id: <20030910115702.8186D32A822@redhat.com> Date: Wed, 10 Sep 2003 11:57:00 -0000 X-SW-Source: 2003-09/txt/msg00614.txt.bz2 This new package contains SWI-Prolog, an open source interpreter and compiler for Prolog. This is the latest stable release 5.2.6. This package is built from the vanilla sources with only two additional `#ifndef __CYGWIN__' in one file to get it built. It requires Cygwin 1.5.x to run. SWI-Prolog is an ISO compatible Prolog compiler. It has a good collection of built-in predicates, a large set of which it shares with Edinburgh C-Prolog, Quintus Prolog and SICStus Prolog. Among its features are a very fast compiler, a Quintus-like module system, library autoloading, garbage collection, atom garbage collection, fast bidirectional C interface, true C++ interface, execution profiling and many more. The installed interpreter/compiler is called "pl". `man pl' gives you a first start. See the SWI-Prolog home page at http://www.swi-prolog.org for more details. To update your installation, click on the "Install Cygwin now" link on the http://cygwin.com/ web page. This downloads setup.exe to your system. Once you've downloaded setup.exe, run it and select "Devel" or "Interpreters" and then click on the appropriate field until the above announced version number appears if it is not displayed already. If you have questions or comments, please send them to the Cygwin mailing list at: cygwin@cygwin.com . I would appreciate it if you would use this mailing list rather than emailing me directly. This includes ideas and comments about the setup utility or Cygwin in general. If you want to make a point or ask a question, the Cygwin mailing list is the appropriate place. *** CYGWIN-ANNOUNCE UNSUBSCRIBE INFO *** If you want to unsubscribe from the cygwin-announce mailing list, look at the "List-Unsubscribe: " tag in the email header of this message. Send email to the address specified there. It will be in the format: cygwin-announce-unsubscribe-you=yourdomain.com@cygwin.com If you need more information on unsubscribing, start reading here: http://sources.redhat.com/lists.html#unsubscribe-simple Please read *all* of the information on unsubscribing that is available starting at this URL. I implore you to READ this information before sending email about how you "tried everything" to unsubscribe. In 100% of the cases where people were unable to unsubscribe, the problem was that they hadn't actually read and comprehended the unsubscribe instructions. If you need to unsubscribe from cygwin-announce or any other mailing list, reading the instructions at the above URL is guaranteed to provide you with the info that you need. -- Corinna Vinschen Please, send mails regarding Cygwin to Cygwin Developer mailto:cygwin@cygwin.com Red Hat, Inc. -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Problem reports: http://cygwin.com/problems.html Documentation: http://cygwin.com/docs.html FAQ: http://cygwin.com/faq/