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 To: cygwin AT cygwin DOT com Subject: [ANNOUNCEMENT] New package: logiweb-0.2.11-1 Message-Id: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Reply-To: cygwin AT cygwin DOT com X-IsSubscribed: yes Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , 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