diff options
author | Karl Berry <karl@freefriends.org> | 2012-01-09 22:43:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-01-09 22:43:47 +0000 |
commit | 66a28e0c48dbe5e98f85c13320d4c1aa27deed16 (patch) | |
tree | 1ca760c6b187045518083dfbdd4d75f12c54d2fe /Master/texmf-dist/doc/latex/stex/reqdoc | |
parent | 2038d0a63142b83600256230a480cfc39a984c63 (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/README | 12 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf | bin | 287638 -> 0 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf | bin | 113323 -> 0 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex | 126 |
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 Binary files differdeleted file mode 100644 index f9f7b443061..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf Binary files differdeleted file mode 100644 index 6365a8adb7a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf +++ /dev/null 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: - |