reqdoc.sty: Semantic Markup for Requirement Specification Documents This package supplies a the infrastructure for writing requirement specification documents with embedded semantic markup, and to generate XML-based documents from them via the LaTeXML system. Copyright (c) 2008 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL) The development version of this package can be found at $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/README $