New package: logiweb-0.2.11-1
Mon May 31 15:53:00 GMT 2010
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.
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:
If you need more information on unsubscribing, start reading here:
Please read *all* of the information on unsubscribing that is
available starting at this URL.
More information about the Cygwin-announce