This is the mail archive of the cygwin mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[ANNOUNCEMENT] New package: logiweb-0.2.11-1


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.com@cygwin.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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]