[ITP] logiweb-0.2.9

[Klaus Grue]

http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1-src.tar.bz2

# setup.hint file for the Logiweb package for CYGWIN
sdesc: "a system for electronic distribution of mathematics"
ldesc: "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."
category: Devel
requires: Cygwin gcc tetex tetex-base tetex-extra make perl vim bzip2 
diffutils man which

Accepted into Fedora 11, 12, 13 stable:
logiweb-0.2.8-10: https://bugzilla.redhat.com/show_bug.cgi?id=523715#c73
logiweb-0.2.8-11: https://bugzilla.redhat.com/show_bug.cgi?id=584729#c4

logiweb-0.2.9-1 contains a few Cygwin related bugfixes compared to
logiweb-0.2.8-11 (c.f. changelog).

For further information:
Upstream site:  http://logiweb.eu/
Mirror:         http://logiweb.imm.dtu.dk/
Mirror:         http://topps.diku.dk/logiweb/

Instructions for installing unsigned logiweb package using setup.exe:
http://logiweb.eu/1.0/doc/download/cygwin.html

Cheers,
Klaus