X-Recipient:	archive-cygwin AT delorie DOT com
X-SWARE-Spam-Status:	No, hits=-1.2 required=5.0 tests=ALL_TRUSTED,BAYES_00,DATE_IN_PAST_03_06,TW_LG
X-Spam-Check-By:	sourceware.org
X-SWARE-Spam-Status:	No, hits=-0.8 required=5.0 tests=AWL,BAYES_05,TW_LG,T_RP_MATCHES_RCVD
Date:	Mon, 31 May 2010 14:32:48 +0200 (CEST)
From:	Klaus Grue <grue AT diku DOT dk>
To:	cygwin AT cygwin DOT com
Subject:	[ANNOUNCEMENT] New package: logiweb-0.2.11-1
Message-Id:	<announce.Pine.LNX.4.64.1005311350470.28001@tyr.diku.dk>
MIME-Version:	1.0
Reply-To:	cygwin AT cygwin DOT com
X-IsSubscribed:	yes
Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id:	<cygwin.cygwin.com>
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sourceware.org/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com

Version 0.2.11-1 of logiweb has been uploaded.

Logiweb allows to web publish 'Logiweb pages', i.e. journal quality 
articles which contain machine readable objects like programs, 
testsuites, definitions, axioms, lemmas, and proofs. Among other, Logiweb 
is suited for literate programming and for publication of machine verified 
proofs. Logiweb allows Logiweb pages to reference previously published 
Logiweb pages such that programs on a page may call programs on referenced 
pages, proofs on a page may reference lemmas on referenced pages, and so 
on. Here, 'reference' may mean 'reference across the Internet'.

The Logiweb package contains the Logiweb compiler (lgc). To use it, 
prepare a source text using an ordinary text editor and run the source 
through lgc. Then lgc will parse your source, macro expand it, compile it, 
execute all test cases in your source, and typeset it ready for 
publication. Test cases can be simple tests like '2+3=5' or it can be 
complex ones like 'all proofs in the source are correct' or 'all programs 
in the source are well-typed'.

The Logiweb language is a pure functional programming language with a 
backdoor to C. To learn it, go to http://logiweb.eu/ or 
http://logiweb.imm.dtu.dk/ or http://topps.diku.dk/logiweb/ and do the 
tutorial. For questions, use the logiweb mailing list (c.f. 
http://logiweb.eu/)

====================================================================

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.  Then, run setup and answer all of the questions.

               *** 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 DOT com AT cygwin DOT com

If you need more information on unsubscribing, start reading here:

http://sourceware.org/lists.html#unsubscribe-simple

Please read *all* of the information on unsubscribing that is
available starting at this URL.

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple

- Raw text -