summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/reqdoc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-01-09 22:43:47 +0000
committerKarl Berry <karl@freefriends.org>2012-01-09 22:43:47 +0000
commit66a28e0c48dbe5e98f85c13320d4c1aa27deed16 (patch)
tree1ca760c6b187045518083dfbdd4d75f12c54d2fe /Master/texmf-dist/doc/latex/stex/reqdoc
parent2038d0a63142b83600256230a480cfc39a984c63 (diff)
rm stex, cannot get right: bin programs, xml, etc.
git-svn-id: svn://tug.org/texlive/trunk@25063 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/reqdoc')
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/README12
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdfbin287638 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdfbin113323 -> 0 bytes
-rw-r--r--Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex126
4 files changed, 0 insertions, 138 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README
deleted file mode 100644
index adc3131dbbd..00000000000
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/README
+++ /dev/null
@@ -1,12 +0,0 @@
-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)
-
-See http://trac.kwarc.info/sTeX for the project homepage, the development version
-of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf
deleted file mode 100644
index f9f7b443061..00000000000
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
deleted file mode 100644
index 6365a8adb7a..00000000000
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf
+++ /dev/null
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
deleted file mode 100644
index 78ea705fa5f..00000000000
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex
+++ /dev/null
@@ -1,126 +0,0 @@
-\documentclass[twoside]{omdoc}
-\usepackage{stex}
-\usepackage[recorddeps]{reqdoc}
-\usepackage{VMeta}
-\usepackage[pdftex, colorlinks=true, linkcolor=blue, citecolor=blue, filecolor=blue, pagecolor=blue, urlcolor=blue, pdftitle=V 1.0, pdfauthor=Administrator, pdfsubject=, pdfkeywords=20.10.97]{hyperref}
-
-
-\DCMperson[id=jdoe,affiliation={DFKI Bremen},
- url=http://dfki.de/jdoe]{John Doe}
-
-\DCMperson[id=miko,affiliation={Jacobs University, Bremen},
- url=http://kwarc.info/kohlhase]{Michael Kohlhase}
-
-\begin{document}
-\svnInfo $Id: requirements.tex 1324 2010-05-07 07:18:32Z kohlhase $
-\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $
-\begin{DCmetadata}[maketitle]
- \DCMtitle{Requirements for Semantic Requirements Documents}
- \DCMcreators{miko,jdoe}
- \DCMdate{\today}
- \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}}
- and {\texttt{VMeta}} from {\stex}}
- \VMversion{1.5}
- \VMdocstate{current}
- \VMcreated{28.01.2008}
- \VMresponsible{miko}
-\end{DCmetadata}
-
-\begin{VMchangelist}
- \begin{VMchange}{07.02.08}{1.0}{miko}
- made initiale version 1.0 (empty skeleton file)
- \end{VMchange}
- \begin{VMchange}{07.03.08}{1.1}{miko}
- added two requirements
- \end{VMchange}
- \begin{VMchange}{12.05.08}{1.2}{miko}
- simplified some formulations
- \end{VMchange}
- \begin{VMchange}{17.05.08}{1.3}{miko}
- added third requirement that depends on the first two.
- \end{VMchange}
-\end{VMchangelist}
-
-\begin{VMcertification}
- \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work}
- some formulations still unclear, but correct in principle
- \end{VMcertified}
- \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI}
- may need another requirement.
- \end{VMcertified}
- \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI}
- certified: this is what DFKI wants.
- \end{VMcertified}
-\end{VMcertification}
-\clearpage
-
-\begin{omgroup}{Introduction}
-\begin{omtext}
-In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the
-requirements themselves are quite phony, since they are only for introductory purposes.
-\end{omtext}
-\end{omgroup}
-
-
-\begin{module}[id=user-general-reqs]
-\importmodule[cds/background]{background}
-
-\begin{omgroup}{Some Requirements}
-
-\begin{requirements}[numbering=yes,prefix=U]
- \begin{requirement}[id=acceptdata,prio=2]
- {Accept {\termref[cd=background,name=data]{data}} from heterogeneous
- {\termref[cd=background,name=source]{data sources}}}
- \reqnote{in particular: $\data$}
- \end{requirement}
-
- \begin{requirement}[id=reftest,prio=1]
- {do something with the data to test the reference}
- \reqnote{not really, this is just a test}
- \end{requirement}
-
- \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}]
- {do something with the data to test the reference}
- \reqnote{not really, this is just a test}
- \end{requirement}
-\end{requirements}
-\end{omgroup}
-
-\begin{omgroup}{Requirements as tables}
-
-\begin{omtext}
- We can also format requirements as tables
-\end{omtext}
-
-\begin{reqtable}[prefix=U]
- \reqline[id=tabacceptdata,prio=2]
- {Accept {\termref[cd=background,name=data]{data}} from heterogeneous
- {\termref[cd=background,name=source]{data sources}}}
- {in particular: $\data$}
-
- \reqline[id=tabreftest,prio=1]
- {do something with the data to test the reference
-
- do something with the data to test the reference}
- {not really, this is just a test}
-
- \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}]
- {do something with the data to test the reference}
- {not really, this is just a test}
-\end{reqtable}
-\end{omgroup}
-\end{module}
-
-\begin{omgroup}{Conclusion}
- \begin{omtext}
- See, it was quite simple
- \end{omtext}
-\end{omgroup}
-\end{document}
-\input{rest}
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
-