# 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: gcc4 texlive-collection-fontsrecommended texlive-collection-latex texlive-collection-latexrecommended