From cdfe96a3444a4d0664b9702c4ff6fe6622257834 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 20 Jul 2010 22:30:22 +0000 Subject: stex update once more git-svn-id: svn://tug.org/texlive/trunk@19548 c570f23f-e606-0410-a88d-b1316a301751 --- .../doc/latex/stex/assignment/assignment.pdf | Bin 259072 -> 258876 bytes .../texmf-dist/doc/latex/stex/cmathml/cmathml.pdf | Bin 502405 -> 501317 bytes Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf | Bin 336643 -> 335346 bytes Master/texmf-dist/doc/latex/stex/dcm/README | 11 + Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf | Bin 0 -> 326217 bytes .../doc/latex/stex/example/background/all.aux | 28 -- .../doc/latex/stex/example/background/all.idx | 3 - .../doc/latex/stex/example/background/all.ilg | 6 - .../doc/latex/stex/example/background/all.ind | 15 - .../doc/latex/stex/example/background/all.log | 309 -------------- .../doc/latex/stex/example/background/all.out | 2 - .../doc/latex/stex/example/background/all.pdf | Bin 63185 -> 0 bytes .../doc/latex/stex/example/background/all.tex.xml | 240 ----------- .../latex/stex/example/background/all.tex.xml.log | 49 --- .../doc/latex/stex/example/background/all.thm | 3 - .../doc/latex/stex/example/background/all.xml | 285 ------------- .../doc/latex/stex/example/background/all.xml.log | 0 .../doc/latex/stex/example/background/auto/all.el | 12 - .../stex/example/background/functions.omdoc.log | 0 .../stex/example/background/functions.tex.xml | 138 ------- .../stex/example/background/functions.tex.xml.log | 27 -- .../latex/stex/example/background/functions.xml | 165 -------- .../stex/example/background/functions.xml.log | 0 .../stex/example/background/paper.tex.xml.log | 146 ------- .../latex/stex/example/background/reals.omdoc.log | 0 .../latex/stex/example/background/reals.tex.xml | 104 ----- .../stex/example/background/reals.tex.xml.log | 12 - .../doc/latex/stex/example/background/reals.xml | 122 ------ .../latex/stex/example/background/reals.xml.log | 0 .../doc/latex/stex/example/paper/all.tex.xml.log | 133 ------ .../doc/latex/stex/example/paper/auto/paper.el | 14 - .../latex/stex/example/paper/continuous.omdoc.log | 0 .../latex/stex/example/paper/continuous.tex.xml | 59 --- .../stex/example/paper/continuous.tex.xml.log | 203 --------- .../doc/latex/stex/example/paper/continuous.xml | 75 ---- .../latex/stex/example/paper/continuous.xml.log | 0 .../stex/example/paper/differentiable.omdoc.log | 0 .../stex/example/paper/differentiable.tex.xml | 58 --- .../stex/example/paper/differentiable.tex.xml.log | 17 - .../latex/stex/example/paper/differentiable.xml | 74 ---- .../stex/example/paper/differentiable.xml.log | 0 .../doc/latex/stex/example/paper/paper.aux | 41 -- .../doc/latex/stex/example/paper/paper.bbl | 35 -- .../doc/latex/stex/example/paper/paper.blg | 47 --- .../doc/latex/stex/example/paper/paper.idx | 6 - .../doc/latex/stex/example/paper/paper.ilg | 6 - .../doc/latex/stex/example/paper/paper.ind | 23 -- .../doc/latex/stex/example/paper/paper.log | 376 ----------------- .../doc/latex/stex/example/paper/paper.out | 8 - .../doc/latex/stex/example/paper/paper.tex.xml | 423 ------------------- .../doc/latex/stex/example/paper/paper.tex.xml.log | 146 ------- .../doc/latex/stex/example/paper/paper.thm | 2 - .../doc/latex/stex/example/paper/paper.xml | 455 --------------------- .../doc/latex/stex/example/paper/paper.xml.log | 0 Master/texmf-dist/doc/latex/stex/mikoslides.pdf | Bin 248314 -> 0 bytes Master/texmf-dist/doc/latex/stex/mikoslides/README | 9 + .../doc/latex/stex/mikoslides/mikoslides.pdf | Bin 0 -> 248126 bytes Master/texmf-dist/doc/latex/stex/modules/README | 20 + .../texmf-dist/doc/latex/stex/modules/modules.pdf | Bin 0 -> 527305 bytes Master/texmf-dist/doc/latex/stex/omd/README | 11 + Master/texmf-dist/doc/latex/stex/omd/omd.pdf | Bin 0 -> 289059 bytes Master/texmf-dist/doc/latex/stex/omdoc/README | 11 + Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf | Bin 0 -> 374399 bytes Master/texmf-dist/doc/latex/stex/omtext/README | 10 + Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf | Bin 0 -> 340041 bytes .../texmf-dist/doc/latex/stex/presentation/README | 14 + .../doc/latex/stex/presentation/presentation.pdf | Bin 0 -> 422504 bytes .../texmf-dist/doc/latex/stex/problem/problem.pdf | Bin 271794 -> 271606 bytes Master/texmf-dist/doc/latex/stex/reqdoc/README | 12 + Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf | Bin 0 -> 308676 bytes .../doc/latex/stex/reqdoc/requirements.pdf | Bin 0 -> 123719 bytes .../doc/latex/stex/reqdoc/requirements.tex | 126 ++++++ Master/texmf-dist/doc/latex/stex/sproof/README | 11 + Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf | Bin 0 -> 348611 bytes Master/texmf-dist/doc/latex/stex/sref/README | 10 + Master/texmf-dist/doc/latex/stex/sref/book.pdf | Bin 0 -> 106736 bytes Master/texmf-dist/doc/latex/stex/sref/book.tex | 18 + Master/texmf-dist/doc/latex/stex/sref/idc.pdf | Bin 0 -> 66599 bytes Master/texmf-dist/doc/latex/stex/sref/idc.tex | 21 + Master/texmf-dist/doc/latex/stex/sref/scr.pdf | Bin 0 -> 77776 bytes Master/texmf-dist/doc/latex/stex/sref/scr.tex | 20 + Master/texmf-dist/doc/latex/stex/sref/sref.pdf | Bin 0 -> 348527 bytes Master/texmf-dist/doc/latex/stex/statements/README | 10 + .../doc/latex/stex/statements/statements.pdf | Bin 0 -> 438283 bytes 84 files changed, 314 insertions(+), 3867 deletions(-) create mode 100644 Master/texmf-dist/doc/latex/stex/dcm/README create mode 100644 Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.aux delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.idx delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.ilg delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.ind delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.out delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.pdf delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.thm delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/auto/all.el delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.aux delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.blg delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.idx delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.ind delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.out delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.thm delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.xml delete mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.xml.log delete mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides/README create mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/modules/README create mode 100644 Master/texmf-dist/doc/latex/stex/modules/modules.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/omd/README create mode 100644 Master/texmf-dist/doc/latex/stex/omd/omd.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/omdoc/README create mode 100644 Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/omtext/README create mode 100644 Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/presentation/README create mode 100644 Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/README create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sproof/README create mode 100644 Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/README create mode 100644 Master/texmf-dist/doc/latex/stex/sref/book.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/book.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/idc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/idc.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/scr.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/scr.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/sref.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/statements/README create mode 100644 Master/texmf-dist/doc/latex/stex/statements/statements.pdf (limited to 'Master/texmf-dist/doc/latex/stex') diff --git a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf b/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf index f2d9cb1cb43..ef791c28e01 100644 Binary files a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf and b/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf index e625281a4a7..7c18fa7fbcf 100644 Binary files a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf and b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf index 9a56a09ba3e..f1f1b6824a3 100644 Binary files a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf and b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/dcm/README b/Master/texmf-dist/doc/latex/stex/dcm/README new file mode 100644 index 00000000000..82799533796 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/dcm/README @@ -0,0 +1,11 @@ +dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents + +The dcm packge allows mark up Dublin Core Metadata in LaTeX documents that can be +harvested by automated tools or exported to PDF. + +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/dcm/README $ + diff --git a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf new file mode 100644 index 00000000000..e240c089652 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.aux b/Master/texmf-dist/doc/latex/stex/example/background/all.aux deleted file mode 100644 index dc50aac6bd6..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.aux +++ /dev/null @@ -1,28 +0,0 @@ -\relax -\ifx\hyper@anchor\@undefined -\global \let \oldcontentsline\contentsline -\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global \let \oldnewlabel\newlabel -\gdef \newlabel#1#2{\newlabelxx{#1}#2} -\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\let \contentsline\oldcontentsline -\let \newlabel\oldnewlabel} -\else -\global \let \hyper@last\relax -\fi - -\@writefile{toc}{\contentsline {section}{\numberline {1}Functions}{1}{section.1}} -\@sref@def{sec.functions}{page}{1} -\@sref@def{sec.functions}{label}{Section 1} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{1}{STtheoremAssEnv.1}} -\@sref@def{functions.def}{page}{1} -\@sref@def{functions.def}{label}{Definition\nobreakspace {}1} -\@writefile{toc}{\contentsline {section}{\numberline {2}Real Numbers}{1}{section.2}} -\@sref@def{sec.reals}{page}{1} -\@sref@def{sec.reals}{label}{Section 2} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{1}{STtheoremAssEnv.2}} -\@sref@def{reals.def}{page}{1} -\@sref@def{reals.def}{label}{Definition\nobreakspace {}2} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{3}{}}{1}{STtheoremAssEnv.3}} -\@sref@def{absval.def}{page}{1} -\@sref@def{absval.def}{label}{Definition\nobreakspace {}3} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.idx b/Master/texmf-dist/doc/latex/stex/example/background/all.idx deleted file mode 100644 index 0189e693a90..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.idx +++ /dev/null @@ -1,3 +0,0 @@ -\indexentry{function|hyperpage}{1} -\indexentry{real!numbers|hyperpage}{1} -\indexentry{numbers!real|hyperpage}{1} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.ilg b/Master/texmf-dist/doc/latex/stex/example/background/all.ilg deleted file mode 100644 index 9a97b1089c1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.ilg +++ /dev/null @@ -1,6 +0,0 @@ -This is makeindex, version 2.15 [TeX Live 2009] (kpathsea + Thai support). -Scanning input file all.idx....done (3 entries accepted, 0 rejected). -Sorting entries....done (5 comparisons). -Generating output file all.ind....done (15 lines written, 0 warnings). -Output written in all.ind. -Transcript written in all.ilg. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.ind b/Master/texmf-dist/doc/latex/stex/example/background/all.ind deleted file mode 100644 index b19d7a0f072..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.ind +++ /dev/null @@ -1,15 +0,0 @@ -\begin{theindex} - - \item function, \hyperpage{1} - - \indexspace - - \item numbers - \subitem real, \hyperpage{1} - - \indexspace - - \item real - \subitem numbers, \hyperpage{1} - -\end{theindex} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.log b/Master/texmf-dist/doc/latex/stex/example/background/all.log deleted file mode 100644 index 76f13f0dfac..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.log +++ /dev/null @@ -1,309 +0,0 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.16) 25 JUN 2010 12:12 -entering extended mode - file:line:error style messages enabled. - %&-line parsing enabled. -**all.tex -(./all.tex -LaTeX2e <2009/09/24> -Babel and hyphenation patterns for english, usenglishmax, dumylang, noh -yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar -abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc -h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono -greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku -rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po -lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span -ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded. -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.cls -Document Class: omdoc 2010/06/25 v1.0 OMDoc Documents -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/article.cls -Document Class: article 2007/10/19 v1.4h Standard LaTeX document class -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.sty -Package: omdoc 2010/06/25 v1.0 OMDoc document Structure -\section@level=\count87 - -(/Users/kohlhase/stc/stex/sty/sref/sref.sty -Package: sref 2010/06/25 v0.9 Semantic Cross-References - -(/Users/kohlhase/stc/stex/sty/omd/omd.sty -Package: omd 2010/06/25 v0.9 OMDoc Metadata Framework - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -))) -(/usr/local/texlive/2009/texmf-dist/tex/latex/comment/comment.sty -\CommentStream=\write3 - -Excluding comment 'comment') Excluding comment 'ignore')) -(/Users/kohlhase/stc/stex/sty/stex.sty -Package: stex 2010/02/04 v0.9b Semantic Markup - -(/Users/kohlhase/stc/stex/sty/stex-logo.sty -Package: stex-logo 2009/08/07 v1.0 sTeX Logo - -(/usr/local/texlive/2009/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) -)) -(/Users/kohlhase/stc/stex/sty/modules/modules.sty -Package: modules 2010/06/25 v1.0 Semantic Markup - -(/usr/local/texlive/2009/texmf-dist/tex/latex/seminar/xcomment.sty -Style-Option: `xcomment' v1.2 <93/02/12> (tvz) -\tokout=\write4 -\tokin=\read1 -)) (/Users/kohlhase/stc/stex/sty/omtext/omtext.sty -Package: omtext 2010/06/25 v1.0 OMDoc Text Fragments -\@indexfile=\write5 -\openout5 = `all.idx'. - - -Writing index file all.idx -) (/Users/kohlhase/stc/stex/sty/statements/statements.sty -Package: statements 2010/06/25 v1.0 Semantic Markup for Statements - -(/usr/local/texlive/2009/texmf-dist/tex/latex/ntheorem/ntheorem.sty -Style `ntheorem', Version 1.25 <2005/07/07> -Package: ntheorem 2005/07/07 1.25 -\theorem@style=\toks15 -\theorem@@style=\toks16 -\theorembodyfont=\toks17 -\theoremnumbering=\toks18 -\theorempreskipamount=\skip43 -\theorempostskipamount=\skip44 -\theoremindent=\dimen103 -\theorem@indent=\dimen104 -\theoremheaderfont=\toks19 -\theoremseparator=\toks20 -\theoremprework=\toks21 -\theorempostwork=\toks22 -\theoremsymbol=\toks23 -\qedsymbol=\toks24 -\theoremkeyword=\toks25 -\qedsymbol=\toks26 -\thm@topsepadd=\skip45 -) -\c@STtheoremAssEnv=\count88 -) (/Users/kohlhase/stc/stex/sty/sproof/sproof.sty -Package: sproof 2010/06/25 v0.9f Semantic Markup for Proofs -) -(/Users/kohlhase/stc/stex/sty/presentation/presentation.sty -Package: presentation 2010/06/25 v1.0 presentation for semantic macros -) -(/Users/kohlhase/stc/stex/sty/dcm/dcm.sty -Package: dcm 2010/06/25 v0.3 Dublin Core Metadata -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in pdf mode detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty -Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H -O) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty -Package: xcolor-patch 2009/10/02 xcolor patch -)) -\@linkdim=\dimen105 -\Hy@linkcounter=\count89 -\Hy@pagecounter=\count90 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) -) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor -t (HO) -)) -Package hyperref Info: Hyper figures OFF on input line 2975. -Package hyperref Info: Link nesting OFF on input line 2980. -Package hyperref Info: Hyper index ON on input line 2983. -Package hyperref Info: Plain pages OFF on input line 2990. -Package hyperref Info: Backreferencing OFF on input line 2995. - -Implicit mode ON; LaTeX internals redefined -Package hyperref Info: Bookmarks ON on input line 3191. -(/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 3428. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty -Package: bitset 2007/09/28 v1.0 Data type bit set (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty -Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions - (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO -) -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -))) -\Fld@menulength=\count91 -\Field@Width=\dimen106 -\Fld@charsize=\dimen107 -\Field@toks=\toks27 -Package hyperref Info: Hyper figures OFF on input line 4377. -Package hyperref Info: Link nesting OFF on input line 4382. -Package hyperref Info: Hyper index ON on input line 4385. -Package hyperref Info: backreferencing OFF on input line 4392. -Package hyperref Info: Link coloring OFF on input line 4397. -Package hyperref Info: Link coloring with OCG OFF on input line 4402. -Package hyperref Info: PDF/A mode OFF on input line 4407. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty -Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) -) -\Hy@abspage=\count92 -\c@Item=\count93 -\c@Hfootnote=\count94 -) -*hyperref using default driver hpdftex* -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX -\Fld@listcount=\count95 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks28 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -)) -(./all.aux) -\openout1 = `all.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 6. -LaTeX Font Info: ... okay on input line 6. -Package hyperref Info: Link coloring OFF on input line 6. - (/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty -Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) -) -\c@section@level=\count96 -) -LaTeX Info: Redefining \ref on input line 6. -LaTeX Info: Redefining \pageref on input line 6. - -(./all.out) (./all.out) -\@outlinefile=\write6 -\openout6 = `all.out'. - -\AtBeginShipoutBox=\box26 - (./functions.tex -LaTeX Font Info: Try loading font information for U+msa on input line 7. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 7. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -Package hyperref Info: bookmark level for unknown STdefinitionEnv defaults to 0 - on input line 7. -) (./reals.tex) -\tf@thm=\write7 -\openout7 = `all.thm'. - - -[1 - -{/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] -(./all.aux) ) -Here is how much of TeX's memory you used: - 5197 strings out of 493848 - 77932 string characters out of 3149206 - 138119 words of memory out of 3000000 - 8372 multiletter control sequences out of 15000+200000 - 6252 words of font info for 25 fonts, out of 3000000 for 9000 - 714 hyphenation exceptions out of 8191 - 43i,4n,40p,281b,320s stack positions out of 5000i,500n,10000p,200000b,50000s - -Output written on all.pdf (1 page, 63185 bytes). -PDF statistics: - 57 PDF objects out of 1000 (max. 8388607) - 14 named destinations out of 1000 (max. 500000) - 17 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.out b/Master/texmf-dist/doc/latex/stex/example/background/all.out deleted file mode 100644 index 80902fd57c3..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.out +++ /dev/null @@ -1,2 +0,0 @@ -\BOOKMARK [1][-]{section.1}{Functions}{} -\BOOKMARK [1][-]{section.2}{Real Numbers}{} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.pdf b/Master/texmf-dist/doc/latex/stex/example/background/all.pdf deleted file mode 100644 index 92075edc5ea..00000000000 Binary files a/Master/texmf-dist/doc/latex/stex/example/background/all.pdf and /dev/null differ diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml deleted file mode 100644 index 37ce2d0241e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml +++ /dev/null @@ -1,240 +0,0 @@ - - - - - - - - - - -

Functions

-
-
- - - - - - - - - - - - - - ( - - - - - - - × - - - - - - - ) - - - - - - - - - - - - - - - - ( - - - arg:1 - - - - - - - : - - - - - - arg:2 - - - - - - - - - - - - - arg:3 - - - ) - - - - - - - - - - - - - - - ( - - - arg:1 - - - - - - - - - - - - - arg:2 - - - ) - - - - - - -

-A functionfunction fAB is a left-total, right-unique relation in AB -

-
-
-
-
- - - - -

Real Numbers

-
-
- - - - - - - - - - R - - - - - - - - - - - - - - - ( - - - - - | - - - - - - arg:1 - - - - - - - | - - - - ) - - - - - - - - - - - - - - - - - - arg:1 - arg:2 - - - - - - - - -

-We denote the set of real numbersrealnumbers we all know and love with -. -

-
-
- - -

-The absolute value r of a real number r. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log deleted file mode 100644 index 416640aa334..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log +++ /dev/null @@ -1,49 +0,0 @@ - -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.15 sec) - -(Digesting /Users/kohlhase/stc/stex/example/background/all... -(Processing all.tex... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.12 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.02 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.10 sec) 0.14 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -(Loading ../../sty/omtext/omtext.sty.ltxml... 0.06 sec) 0.11 sec) 0.37 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.02 sec) -(Loading ../../sty/modules/modules.sty.ltxml... 0.04 sec) -(Loading ../../sty/statements/statements.sty.ltxml... 0.04 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... 0.03 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... 0.02 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... 0.05 sec) 0.35 sec) -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.03 sec) -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.05 sec) -(Processing functions.tex... 0.49 sec) -(Processing reals.tex... 0.03 sec) 1.60 sec) 1.64 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.70 sec)......... 1.96 sec) -(Rewriting... 0.00 sec) -(Math Parsing...19 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19] -Math parsing succeeded: - ltx:XMArg: 7/7 - ltx:XMath: 19/19 -Symbols assumed as simple identifiers (with # of occurences): - 'A{italic}' (1), 'B{italic}' (1) - 0.02 sec) -(Finalizing... 0.01 sec) -Conversion complete: 12 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.thm b/Master/texmf-dist/doc/latex/stex/example/background/all.thm deleted file mode 100644 index 094040394df..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.thm +++ /dev/null @@ -1,3 +0,0 @@ -\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{1}{STtheoremAssEnv.1} -\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{1}{STtheoremAssEnv.2} -\contentsline {STdefinitionEnv}{{\st@definition@kw }{3}{}}{1}{STtheoremAssEnv.3} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.xml b/Master/texmf-dist/doc/latex/stex/example/background/all.xml deleted file mode 100644 index cd9d3e6ae76..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/all.xml +++ /dev/null @@ -1,285 +0,0 @@ - - - - - - - - - - -

Functions

-
-
- - - - - - - - - - - - - - ( - - - - - - - - - - - × - - - - - - ) - - - - - - - - - - - - - - - - ( - - - - - - arg:1 - - - - - - - - - - - : - - - - - - - - arg:2 - - - - - - - - - - - - - - - - - - - arg:3 - - - ) - - - - - - - - - - - - - - - ( - - - - - - arg:1 - - - - - - - - - - - - - - - - - - - arg:2 - - - ) - - - - - - -

-A functionfunction funf, A, B is a left-total, right-unique relation in cartA,B -

-
-
-
-
- - - - -

Real Numbers

-
-
- - - - - - - - - - - - - R - - - - - - - - - - - - - - - ( - - - - - - - - - | - - - - - - - - arg:1 - - - - - - - - - - - | - - - ) - - - - - - - - - - - - - - - - - - - - - - - - arg:1 - arg:2 - - - - - - - - -

-We denote the set of real numbersrealnumbers we all know and love with -RealNumbers. -

-
-
- - -

-The absolute value absvalr of a real number r. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/all.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el b/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el deleted file mode 100644 index 00c090b4ab9..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el +++ /dev/null @@ -1,12 +0,0 @@ -(TeX-add-style-hook "all" - (lambda () - (TeX-run-style-hooks - "amssymb" - "hyperref" - "stex" - "latex2e" - "omdoc10" - "omdoc" - "functions" - "reals"))) - diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml deleted file mode 100644 index 3c3dc0a3bbe..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml +++ /dev/null @@ -1,138 +0,0 @@ - - - - - - - -

Functions

-
-
- - - - - - - - - - - - - - ( - - - - - - - × - - - - - - - ) - - - - - - - - - - - - - - - - ( - - - arg:1 - - - - - - - : - - - - - - arg:2 - - - - - - - - - - - - - arg:3 - - - ) - - - - - - - - - - - - - - - ( - - - arg:1 - - - - - - - - - - - - - arg:2 - - - ) - - - - - - -

-A functionfunction fAB is a left-total, right-unique relation in AB -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log deleted file mode 100644 index dd838c7b779..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log +++ /dev/null @@ -1,27 +0,0 @@ - -(Digesting /Users/kohlhase/stc/stex/example/background/functions... -(Processing functions.tex... 0.06 sec) 0.06 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.40 sec)...... 1.51 sec) -(Rewriting... 0.00 sec) -(Math Parsing...11 formulae ...[1][2][3][4][5][6][7][8][9][10][11] -Math parsing succeeded: - ltx:XMArg: 4/4 - ltx:XMath: 11/11 -Symbols assumed as simple identifiers (with # of occurences): - 'A{italic}' (1), 'B{italic}' (1) - 0.02 sec) -(Finalizing... 0.01 sec) -Conversion complete: 12 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml b/Master/texmf-dist/doc/latex/stex/example/background/functions.xml deleted file mode 100644 index 631a76a0318..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml +++ /dev/null @@ -1,165 +0,0 @@ - - - - - - - -

Functions

-
-
- - - - - - - - - - - - - - ( - - - - - - - - - - - × - - - - - - ) - - - - - - - - - - - - - - - - ( - - - - - - arg:1 - - - - - - - - - - - : - - - - - - - - arg:2 - - - - - - - - - - - - - - - - - - - arg:3 - - - ) - - - - - - - - - - - - - - - ( - - - - - - arg:1 - - - - - - - - - - - - - - - - - - - arg:2 - - - ) - - - - - - -

-A functionfunction funf, A, B is a left-total, right-unique relation in cartA,B -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log deleted file mode 100644 index 8e6af5e626f..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log +++ /dev/null @@ -1,146 +0,0 @@ - -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.17 sec) - -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/paper/paper... -(Processing paper.tex... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.14 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -Warning:perl:warn Subroutine xmlBase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.06 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.00 sec) 0.03 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -Warning:perl:warn Subroutine omdocColorMacro redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -(Loading ../../sty/omtext/omtext.sty.ltxml... -Warning:perl:warn Subroutine useCMPItemizations redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -Warning:perl:warn Subroutine DefCMPEnvironment redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -Warning:perl:warn Subroutine DefCMPConstructor redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -Warning:perl:warn Subroutine numberIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -Warning:perl:warn Subroutine locateIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 0.04 sec) 0.09 sec) 0.25 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.01 sec) -(Loading ../../sty/modules/modules.sty.ltxml... -Warning:perl:warn Subroutine use_module redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -Warning:perl:warn Subroutine omext redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -Warning:perl:warn Subroutine importmoduleI redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -Warning:perl:warn Subroutine symdef_presentation_pmml redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -Warning:perl:warn Subroutine getSymmdefProperties redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -Warning:perl:warn Subroutine get_cd redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -Warning:perl:warn Subroutine symdef_presentation_TeX redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 0.02 sec) -(Loading ../../sty/statements/statements.sty.ltxml... -Warning:perl:warn Subroutine lowcase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -Warning:perl:warn Subroutine dashed redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -Warning:perl:warn Subroutine makeNCName redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -Warning:perl:warn Subroutine simple_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -Warning:perl:warn Subroutine hash_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -Warning:perl:warn Subroutine declareFunctions redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -Warning:perl:warn Subroutine definitionBody redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 0.05 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... -Warning:perl:warn Subroutine extractBodyText redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 0.03 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... -Warning:perl:warn Subroutine argument_precedence redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -Warning:perl:warn Subroutine applyPrecedencePreferences redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -Warning:perl:warn Subroutine cvar_id redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 0.02 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... -Warning:perl:warn Subroutine getKeyValue_noDelim redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -Warning:perl:warn Subroutine ExportMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -Warning:perl:warn Subroutine FishOutMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52. -In Gullet[@0x102619a50] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 0.03 sec) 0.34 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.07 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/alltt.sty.ltxml... 0.04 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.03 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml... -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg...[#25] 0.05 sec) -Info: expected:lstlang0.sty Couldn't find config file lstlang0.sty -In Gullet[@0x102619a50] /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -/opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.34 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.29 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang3.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525][#1550] 1.25 sec) 5.31 sec)[#25][#50][#75][#100] -(Processing continuous.tex... -(Processing ../background/functions.sms... 0.01 sec) -(Processing ../background/reals.sms... 0.01 sec) 0.10 sec) -(Processing differentiable.tex... 0.04 sec) 7.08 sec) 7.10 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 2.51 sec)................. 3.12 sec) -(Rewriting... 0.00 sec) -(Math Parsing...14 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14] -Math parsing succeeded: - ltx:XMArg: 19/19 - ltx:XMath: 14/14 -Symbols assumed as simple identifiers (with # of occurences): - 'C{caligraphic}' (2), 'delta' (4), 'epsilon' (4), 'f{italic}' (4), 'x{italic}' (5), 'y{italic}' (5) -Possibly used as functions? - 'C{caligraphic}' (2/2 usages), 'f{italic}' (4/4 usages) - 0.29 sec) -(Finalizing... 0.02 sec) -Conversion complete: 40 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml deleted file mode 100644 index 30fd3d46171..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml +++ /dev/null @@ -1,104 +0,0 @@ - - - - - - - -

Real Numbers

-
-
- - - - - - - - - - R - - - - - - - - - - - - - - - ( - - - - - | - - - - - - arg:1 - - - - - - - | - - - - ) - - - - - - - - - - - - - - - - - - arg:1 - arg:2 - - - - - - - - -

-We denote the set of real numbersrealnumbers we all know and love with -. -

-
-
- - -

-The absolute value r of a real number r. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log deleted file mode 100644 index aae799e00aa..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log +++ /dev/null @@ -1,12 +0,0 @@ - -(Digesting /Users/kohlhase/stc/stex/example/background/reals... -(Processing reals.tex... 0.03 sec) 0.04 sec) -(Building....... 0.03 sec) -(Rewriting... 0.00 sec) -(Math Parsing...8 formulae ...[1][2][3][4][5][6][7][8] -Math parsing succeeded: - ltx:XMArg: 3/3 - ltx:XMath: 8/8 - 0.00 sec) -(Finalizing... 0.00 sec) -Conversion complete: No obvious problems. diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml b/Master/texmf-dist/doc/latex/stex/example/background/reals.xml deleted file mode 100644 index 3e5069c314e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml +++ /dev/null @@ -1,122 +0,0 @@ - - - - - - - -

Real Numbers

-
-
- - - - - - - - - - - - - R - - - - - - - - - - - - - - - ( - - - - - - - - - | - - - - - - - - arg:1 - - - - - - - - - - - | - - - ) - - - - - - - - - - - - - - - - - - - - - - - - arg:1 - arg:2 - - - - - - - - -

-We denote the set of real numbersrealnumbers we all know and love with -RealNumbers. -

-
-
- - -

-The absolute value absvalr of a real number r. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log b/Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log deleted file mode 100644 index 5d8b6c3a0fe..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log +++ /dev/null @@ -1,133 +0,0 @@ - -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.18 sec) - -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/background/all... -(Processing all.tex... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.15 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -Warning:perl:warn Subroutine xmlBase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.03 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.00 sec) 0.05 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -Warning:perl:warn Subroutine omdocColorMacro redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -(Loading ../../sty/omtext/omtext.sty.ltxml... -Warning:perl:warn Subroutine useCMPItemizations redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -Warning:perl:warn Subroutine DefCMPEnvironment redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -Warning:perl:warn Subroutine DefCMPConstructor redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -Warning:perl:warn Subroutine numberIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -Warning:perl:warn Subroutine locateIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 0.06 sec) 0.14 sec) 0.35 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.01 sec) -(Loading ../../sty/modules/modules.sty.ltxml... -Warning:perl:warn Subroutine use_module redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -Warning:perl:warn Subroutine omext redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -Warning:perl:warn Subroutine importmoduleI redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -Warning:perl:warn Subroutine symdef_presentation_pmml redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -Warning:perl:warn Subroutine getSymmdefProperties redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -Warning:perl:warn Subroutine get_cd redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -Warning:perl:warn Subroutine symdef_presentation_TeX redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 0.02 sec) -(Loading ../../sty/statements/statements.sty.ltxml... -Warning:perl:warn Subroutine lowcase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -Warning:perl:warn Subroutine dashed redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -Warning:perl:warn Subroutine makeNCName redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -Warning:perl:warn Subroutine simple_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -Warning:perl:warn Subroutine hash_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -Warning:perl:warn Subroutine declareFunctions redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -Warning:perl:warn Subroutine definitionBody redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 0.06 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... -Warning:perl:warn Subroutine extractBodyText redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 0.04 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... -Warning:perl:warn Subroutine argument_precedence redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -Warning:perl:warn Subroutine applyPrecedencePreferences redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -Warning:perl:warn Subroutine cvar_id redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 0.03 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... -Warning:perl:warn Subroutine getKeyValue_noDelim redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -Warning:perl:warn Subroutine ExportMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -Warning:perl:warn Subroutine FishOutMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52. -In Gullet[@0x103940350] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 0.04 sec) 0.41 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.05 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.09 sec) -(Processing functions.tex... 0.05 sec) -(Processing reals.tex... 0.04 sec) 1.43 sec) 1.45 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.98 sec)......... 2.11 sec) -(Rewriting... 0.00 sec) -(Math Parsing...19 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19] -Math parsing succeeded: - ltx:XMArg: 7/7 - ltx:XMath: 19/19 -Symbols assumed as simple identifiers (with # of occurences): - 'A{italic}' (1), 'B{italic}' (1) - 0.02 sec) -(Finalizing... 0.01 sec) -Conversion complete: 40 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el b/Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el deleted file mode 100644 index e98cfe03405..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el +++ /dev/null @@ -1,14 +0,0 @@ -(TeX-add-style-hook "paper" - (lambda () - (LaTeX-add-bibliographies - "kwarc") - (TeX-run-style-hooks - "hyperref" - "alltt" - "amssymb" - "stex" - "latex2e" - "omdoc10" - "omdoc" - "Makefile"))) - diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml deleted file mode 100644 index 1e8d3ae1c98..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml +++ /dev/null @@ -1,59 +0,0 @@ - - - - - - - -

Continuous Functions

-
-
- - - - - - - - - - - - - - - - - - - - C - 0 - - - - arg:1 - arg:2 - - - - - - - - - -

-A function f is called continuouscontinuous at -x, iff for all >ϵ0 there is a >δ0, such that -<-fxfyϵ for all <-xyδ -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log deleted file mode 100644 index 1c1ce813a58..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log +++ /dev/null @@ -1,203 +0,0 @@ - -(Digesting ../background/pre... -(Processing ../background/pre.tex... -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -Warning:perl:warn Subroutine xmlBase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.00 sec) 0.03 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -Warning:perl:warn Subroutine omdocColorMacro redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -(Loading ../../sty/omtext/omtext.sty.ltxml... -Warning:perl:warn Subroutine useCMPItemizations redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -Warning:perl:warn Subroutine DefCMPEnvironment redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -Warning:perl:warn Subroutine DefCMPConstructor redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -Warning:perl:warn Subroutine numberIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -Warning:perl:warn Subroutine locateIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -Error:unexpected:\newcommand T_CS[\mygraphics] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\documentclass OptionalSe... <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 96 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 12 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 32 ../background/pre.tex#textrange(from=1;14,to=2;11) - \usepackage - ^ {stex,amssymb} - To be read again \usepackage -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\mycgraphics] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\documentclass OptionalSe... <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 96 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 12 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 32 ../background/pre.tex#textrange(from=1;14,to=2;11) - \usepackage - ^ {stex,amssymb} - To be read again \usepackage -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\mybgraphics] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\documentclass OptionalSe... <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 96 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 12 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 32 ../background/pre.tex#textrange(from=1;14,to=2;11) - \usepackage - ^ {stex,amssymb} - To be read again \usepackage -Continuing... Expect trouble. 0.04 sec) 0.08 sec) 0.16 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.00 sec) -(Loading ../../sty/modules/modules.sty.ltxml... -Warning:perl:warn Subroutine use_module redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -Warning:perl:warn Subroutine omext redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -Warning:perl:warn Subroutine importmoduleI redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -Warning:perl:warn Subroutine symdef_presentation_pmml redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -Warning:perl:warn Subroutine getSymmdefProperties redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -Warning:perl:warn Subroutine get_cd redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -Warning:perl:warn Subroutine symdef_presentation_TeX redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 0.02 sec) -(Loading ../../sty/statements/statements.sty.ltxml... -Warning:perl:warn Subroutine lowcase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -Warning:perl:warn Subroutine dashed redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -Warning:perl:warn Subroutine makeNCName redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -Warning:perl:warn Subroutine simple_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -Warning:perl:warn Subroutine hash_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -Warning:perl:warn Subroutine declareFunctions redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -Warning:perl:warn Subroutine definitionBody redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 0.04 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... -Warning:perl:warn Subroutine extractBodyText redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 0.02 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... -Warning:perl:warn Subroutine argument_precedence redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -Warning:perl:warn Subroutine applyPrecedencePreferences redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -Warning:perl:warn Subroutine cvar_id redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -Error:unexpected:\newcommand T_CS[\prefixa] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 297 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\postfixa] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 297 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\infix] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 297 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\assoc] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 297 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\primvar] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 323 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\pprimvar] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 323 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\uivar] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 323 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\livar] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 323 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. -Error:unexpected:\newcommand T_CS[\ulivar] is already defined -In Primitive[\newcommand OptionalMatch:*... defined /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml line 1498 - <= Gullet[@0x100dc9cf0] <= Constructor[\usepackage []Semiverbatim] <= ... - /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 323 /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/stex.sty.ltxml line 20 ../background/pre.tex#textrange(from=2;0,to=2;25) - \usepackage{stex,amssymb} - ^ -Continuing... Expect trouble. 0.03 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... -Warning:perl:warn Subroutine getKeyValue_noDelim redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -Warning:perl:warn Subroutine ExportMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -Warning:perl:warn Subroutine FishOutMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52. -In Gullet[@0x100dc9cf0] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 0.03 sec) 0.26 sec) 0.50 sec) 0.51 sec) -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/paper/continuous... -(Processing continuous.tex... -(Processing ../background/functions.sms... 0.01 sec) -(Processing ../background/reals.sms... 0.01 sec) 0.09 sec) 0.10 sec) -(Building....... 0.08 sec) -(Rewriting... 0.00 sec) -(Math Parsing...7 formulae ...[1][2][3][4][5][6][7] -Math parsing succeeded: - ltx:XMArg: 8/8 - ltx:XMath: 7/7 -Symbols assumed as simple identifiers (with # of occurences): - 'C{caligraphic}' (1), 'delta' (2), 'epsilon' (2), 'f{italic}' (2), 'x{italic}' (2), 'y{italic}' (2) -Possibly used as functions? - 'C{caligraphic}' (1/1 usages), 'f{italic}' (2/2 usages) - 0.13 sec) -(Finalizing... 0.00 sec) -Conversion complete: 28 warnings; 12 errors. diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml deleted file mode 100644 index 6b43f50d2d2..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml +++ /dev/null @@ -1,75 +0,0 @@ - - - - - - - -

Continuous Functions

-
-
- - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - C - 0 - - - - - arg:1 - , - arg:2 - - - - - - - - - - -

-A function funf, RealNumbers, RealNumbers is called continuouscontinuous at -insetx, RealNumbers, iff for all 0ϵ>0 there is a 0δ>0, such that -absvalfx-fy<ϵ for all absvalx-y<δ -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc.log b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml deleted file mode 100644 index 774b767b4cc..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml +++ /dev/null @@ -1,58 +0,0 @@ - - - - - - - -

Differentiable Functions

-
-
- - - - - - - - - - - - - - - - - - - C - 1 - - - - arg:1 - arg:2 - - - - - - - - - -

-A function f is called differentiabledifferentiable at -x, iff for all >ϵ0 there is a >δ0, such that -<-fxfy-xyϵ for all <-xyδ. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log deleted file mode 100644 index a0d99ecc131..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log +++ /dev/null @@ -1,17 +0,0 @@ - -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/paper/differentiable... -(Processing differentiable.tex... -(Processing continuous.sms... 0.01 sec) 0.09 sec) 0.10 sec) -(Building........ 0.06 sec) -(Rewriting... 0.00 sec) -(Math Parsing...7 formulae ...[1][2][3][4][5][6][7] -Math parsing succeeded: - ltx:XMArg: 11/11 - ltx:XMath: 7/7 -Symbols assumed as simple identifiers (with # of occurences): - 'C{caligraphic}' (1), 'delta' (2), 'epsilon' (2), 'f{italic}' (2), 'x{italic}' (3), 'y{italic}' (3) -Possibly used as functions? - 'C{caligraphic}' (1/1 usages), 'f{italic}' (2/2 usages) - 0.15 sec) -(Finalizing... 0.01 sec) -Conversion complete: No obvious problems. diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml deleted file mode 100644 index 649b017e523..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml +++ /dev/null @@ -1,74 +0,0 @@ - - - - - - - -

Differentiable Functions

-
-
- - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - C - 1 - - - - - arg:1 - , - arg:2 - - - - - - - - - - -

-A function funf, RealNumbers, RealNumbers is called differentiabledifferentiable at -insetx, RealNumbers, iff for all 0ϵ>0 there is a 0δ>0, such that -rfracabsvalfx-fy, absvalx-y<ϵ for all absvalx-y<δ. -

-
-
-
-
- -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux b/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux deleted file mode 100644 index b6d2090b5cc..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux +++ /dev/null @@ -1,41 +0,0 @@ -\relax -\ifx\hyper@anchor\@undefined -\global \let \oldcontentsline\contentsline -\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global \let \oldnewlabel\newlabel -\gdef \newlabel#1#2{\newlabelxx{#1}#2} -\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\let \contentsline\oldcontentsline -\let \newlabel\oldnewlabel} -\else -\global \let \hyper@last\relax -\fi - -\citation{Kohlhase:ulsmf08} -\citation{Kohlhase:OMDoc1.3} -\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}} -\@sref@def{intro}{page}{1} -\@sref@def{intro}{label}{Section 1} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}The Setup}{1}{subsection.1.1}} -\citation{Kohlhase:ssmtl*} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Formatting and {OMDoc} conversion}{2}{subsection.1.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Makefile-based Automation}{2}{subsection.1.3}} -\@writefile{lol}{\contentsline {lstlisting}{Makefile}{2}{lstlisting.-1}} -\bibstyle{alpha} -\bibdata{kwarc} -\bibcite{Kohlhase:ulsmf08}{Koh08} -\bibcite{Kohlhase:OMDoc1.3}{Koh10} -\@writefile{toc}{\contentsline {section}{\numberline {2}Mathematical Content}{3}{section.2}} -\@sref@def{sec.math}{page}{3} -\@sref@def{sec.math}{label}{Section 2} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Continuous Functions}{3}{subsection.2.1}} -\@sref@def{sec.contfuncs}{page}{3} -\@sref@def{sec.contfuncs}{label}{Subsection 2.1} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{3}{STtheoremAssEnv.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Differentiable Functions}{3}{subsection.2.2}} -\@sref@def{sec.differentiable}{page}{3} -\@sref@def{sec.differentiable}{label}{Subsection 2.2} -\@writefile{thm}{\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{3}{STtheoremAssEnv.2}} -\@writefile{toc}{\contentsline {section}{\numberline {3}Conclusion}{3}{section.3}} -\@sref@def{concl}{page}{3} -\@sref@def{concl}{label}{Section 3} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl b/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl deleted file mode 100644 index 42535bf2dd0..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl +++ /dev/null @@ -1,35 +0,0 @@ -\providecommand\seen{seen } \providecommand\webpageat{web page at } - \providecommand\homepageat{home page at } - \providecommand\projectpageat{project page at } - \providecommand\systempageat{system home page at } - \providecommand\svnrepoat{Subversion repository at } - \providecommand\January{January} \providecommand\February{February} - \providecommand\March{March} \providecommand\April{April} - \providecommand\May{May} \providecommand\June{June} - \providecommand\July{July} \providecommand\August{August} - \providecommand\September{September} \providecommand\October{October} - \providecommand\November{November} \providecommand\December{December} - \providecommand\AUSTRALIA{Australia} \providecommand\ROMANIA{Romania} - \providecommand\MEXICO{Mexico} \providecommand\ITALY{Italy} - \providecommand\USA{USA} \providecommand\IRELAND{Ireland} - \providecommand\HUNGARY{Hungary} \providecommand\JAPAN{Japan} - \providecommand\CANADA{Canada} \providecommand\SPAIN{Spain} - \providecommand\NETHERLANDS{Netherlands} \providecommand\UK{UK} - \providecommand\SWEDEN{Sweden} \providecommand\GERMANY{Germany} - \providecommand\openmath{OpenMath} \providecommand\fc{forthcoming} - \providecommand\PROC{Proceedings} \providecommand\omdoc{OMDoc} - \providecommand\activemath{ActiveMath} -\begin{thebibliography}{Koh10} - -\bibitem[Koh08]{Kohlhase:ulsmf08} -Michael Kohlhase. -\newblock Using {\LaTeX} as a semantic markup format. -\newblock {\em Mathematics in Computer Science}, 2(2):279--304, 2008. - -\bibitem[Koh10]{Kohlhase:OMDoc1.3} -Michael Kohlhase. -\newblock An open markup format for mathematical documents {\omdoc} [version - 1.3]. -\newblock Draft Specification, 2010. - -\end{thebibliography} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.blg b/Master/texmf-dist/doc/latex/stex/example/paper/paper.blg deleted file mode 100644 index a8a4318ab46..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.blg +++ /dev/null @@ -1,47 +0,0 @@ -This is BibTeX, Version 0.99c (TeX Live 2009) -The top-level auxiliary file: paper.aux -The style file: alpha.bst -Database file #1: kwarc.bib -Warning--I didn't find a database entry for "Kohlhase:ssmtl*" -You've used 2 entries, - 2543 wiz_defined-function locations, - 588 strings with 6180 characters, -and the built_in function-call counts, 619 in all, are: -= -- 63 -> -- 16 -< -- 2 -+ -- 5 -- -- 4 -* -- 40 -:= -- 112 -add.period$ -- 6 -call.type$ -- 2 -change.case$ -- 10 -chr.to.int$ -- 2 -cite$ -- 2 -duplicate$ -- 25 -empty$ -- 45 -format.name$ -- 8 -if$ -- 118 -int.to.chr$ -- 1 -int.to.str$ -- 0 -missing$ -- 1 -newline$ -- 14 -num.names$ -- 6 -pop$ -- 5 -preamble$ -- 2 -purify$ -- 12 -quote$ -- 0 -skip$ -- 20 -stack$ -- 0 -substring$ -- 40 -swap$ -- 1 -text.length$ -- 2 -text.prefix$ -- 2 -top$ -- 0 -type$ -- 16 -warning$ -- 0 -while$ -- 6 -width$ -- 3 -write$ -- 28 -(There was 1 warning) diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.idx b/Master/texmf-dist/doc/latex/stex/example/paper/paper.idx deleted file mode 100644 index 9e9ab5e324e..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.idx +++ /dev/null @@ -1,6 +0,0 @@ -\indexentry{target|hyperpage}{1} -\indexentry{module|hyperpage}{1} -\indexentry{background!module|hyperpage}{1} -\indexentry{module!background|hyperpage}{1} -\indexentry{continuous|hyperpage}{3} -\indexentry{differentiable|hyperpage}{3} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg b/Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg deleted file mode 100644 index bf39bf695f8..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg +++ /dev/null @@ -1,6 +0,0 @@ -This is makeindex, version 2.15 [TeX Live 2009] (kpathsea + Thai support). -Scanning input file paper.idx....done (6 entries accepted, 0 rejected). -Sorting entries....done (22 comparisons). -Generating output file paper.ind....done (23 lines written, 0 warnings). -Output written in paper.ind. -Transcript written in paper.ilg. diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.ind b/Master/texmf-dist/doc/latex/stex/example/paper/paper.ind deleted file mode 100644 index 8b9a914f7cf..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.ind +++ /dev/null @@ -1,23 +0,0 @@ -\begin{theindex} - - \item background - \subitem module, \hyperpage{1} - - \indexspace - - \item continuous, \hyperpage{3} - - \indexspace - - \item differentiable, \hyperpage{3} - - \indexspace - - \item module, \hyperpage{1} - \subitem background, \hyperpage{1} - - \indexspace - - \item target, \hyperpage{1} - -\end{theindex} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.log b/Master/texmf-dist/doc/latex/stex/example/paper/paper.log deleted file mode 100644 index 8dd02633640..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.log +++ /dev/null @@ -1,376 +0,0 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2009.11.16) 25 JUN 2010 12:13 -entering extended mode - file:line:error style messages enabled. - %&-line parsing enabled. -**paper.tex -(./paper.tex -LaTeX2e <2009/09/24> -Babel and hyphenation patterns for english, usenglishmax, dumylang, noh -yphenation, german-x-2009-06-19, ngerman-x-2009-06-19, ancientgreek, ibycus, ar -abic, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danish, dutc -h, esperanto, estonian, farsi, finnish, french, galician, german, ngerman, mono -greek, greek, hungarian, icelandic, indonesian, interlingua, irish, italian, ku -rmanji, latin, latvian, lithuanian, mongolian, mongolian2a, bokmal, nynorsk, po -lish, portuguese, romanian, russian, sanskrit, serbian, slovak, slovenian, span -ish, swedish, turkish, ukenglish, ukrainian, uppersorbian, welsh, loaded. -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.cls -Document Class: omdoc 2010/06/25 v1.0 OMDoc Documents -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/article.cls -Document Class: article 2007/10/19 v1.4h Standard LaTeX document class -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/Users/kohlhase/stc/stex/sty/omdoc/omdoc.sty -Package: omdoc 2010/06/25 v1.0 OMDoc document Structure -\section@level=\count87 - -(/Users/kohlhase/stc/stex/sty/sref/sref.sty -Package: sref 2010/06/25 v0.9 Semantic Cross-References - -(/Users/kohlhase/stc/stex/sty/omd/omd.sty -Package: omd 2010/06/25 v0.9 OMDoc Metadata Framework - -(/usr/local/texlive/2009/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -))) -(/usr/local/texlive/2009/texmf-dist/tex/latex/comment/comment.sty -\CommentStream=\write3 - -Excluding comment 'comment') Excluding comment 'ignore')) -(/Users/kohlhase/stc/stex/sty/stex.sty -Package: stex 2010/02/04 v0.9b Semantic Markup - -(/Users/kohlhase/stc/stex/sty/stex-logo.sty -Package: stex-logo 2009/08/07 v1.0 sTeX Logo - -(/usr/local/texlive/2009/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) -)) -(/Users/kohlhase/stc/stex/sty/modules/modules.sty -Package: modules 2010/06/25 v1.0 Semantic Markup - -(/usr/local/texlive/2009/texmf-dist/tex/latex/seminar/xcomment.sty -Style-Option: `xcomment' v1.2 <93/02/12> (tvz) -\tokout=\write4 -\tokin=\read1 -)) (/Users/kohlhase/stc/stex/sty/omtext/omtext.sty -Package: omtext 2010/06/25 v1.0 OMDoc Text Fragments -\@indexfile=\write5 -\openout5 = `paper.idx'. - - -Writing index file paper.idx -) (/Users/kohlhase/stc/stex/sty/statements/statements.sty -Package: statements 2010/06/25 v1.0 Semantic Markup for Statements - -(/usr/local/texlive/2009/texmf-dist/tex/latex/ntheorem/ntheorem.sty -Style `ntheorem', Version 1.25 <2005/07/07> -Package: ntheorem 2005/07/07 1.25 -\theorem@style=\toks15 -\theorem@@style=\toks16 -\theorembodyfont=\toks17 -\theoremnumbering=\toks18 -\theorempreskipamount=\skip43 -\theorempostskipamount=\skip44 -\theoremindent=\dimen103 -\theorem@indent=\dimen104 -\theoremheaderfont=\toks19 -\theoremseparator=\toks20 -\theoremprework=\toks21 -\theorempostwork=\toks22 -\theoremsymbol=\toks23 -\qedsymbol=\toks24 -\theoremkeyword=\toks25 -\qedsymbol=\toks26 -\thm@topsepadd=\skip45 -) -\c@STtheoremAssEnv=\count88 -) (/Users/kohlhase/stc/stex/sty/sproof/sproof.sty -Package: sproof 2010/06/25 v0.9f Semantic Markup for Proofs -) -(/Users/kohlhase/stc/stex/sty/presentation/presentation.sty -Package: presentation 2010/06/25 v1.0 presentation for semantic macros -) -(/Users/kohlhase/stc/stex/sty/dcm/dcm.sty -Package: dcm 2010/06/25 v0.3 Dublin Core Metadata -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks27 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -)) -(/usr/local/texlive/2009/texmf-dist/tex/latex/base/alltt.sty -Package: alltt 1997/06/16 v2.0g defines alltt environment -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in pdf mode detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/hycolor.sty -Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H -O) - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty -Package: xcolor-patch 2009/10/02 xcolor patch -)) -\@linkdim=\dimen105 -\Hy@linkcounter=\count89 -\Hy@pagecounter=\count90 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO) -) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor -t (HO) -)) -Package hyperref Info: Hyper figures OFF on input line 2975. -Package hyperref Info: Link nesting OFF on input line 2980. -Package hyperref Info: Hyper index ON on input line 2983. -Package hyperref Info: Plain pages OFF on input line 2990. -Package hyperref Info: Backreferencing OFF on input line 2995. - -Implicit mode ON; LaTeX internals redefined -Package hyperref Info: Bookmarks ON on input line 3191. -(/usr/local/texlive/2009/texmf-dist/tex/latex/ltxmisc/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 3428. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bitset.sty -Package: bitset 2007/09/28 v1.0 Data type bit set (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/intcalc.sty -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/bigintcalc.sty -Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions - (HO) - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO -) -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -))) -\Fld@menulength=\count91 -\Field@Width=\dimen106 -\Fld@charsize=\dimen107 -\Field@toks=\toks28 -Package hyperref Info: Hyper figures OFF on input line 4377. -Package hyperref Info: Link nesting OFF on input line 4382. -Package hyperref Info: Hyper index ON on input line 4385. -Package hyperref Info: backreferencing OFF on input line 4392. -Package hyperref Info: Link coloring OFF on input line 4397. -Package hyperref Info: Link coloring with OCG OFF on input line 4402. -Package hyperref Info: PDF/A mode OFF on input line 4407. - -(/usr/local/texlive/2009/texmf-dist/tex/generic/oberdiek/atbegshi.sty -Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) -) -\Hy@abspage=\count92 -\c@Item=\count93 -\c@Hfootnote=\count94 -) -*hyperref using default driver hpdftex* -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX -\Fld@listcount=\count95 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count96 -\lst@gtempboxa=\box26 -\lst@token=\toks29 -\lst@length=\count97 -\lst@currlwidth=\dimen108 -\lst@column=\count98 -\lst@pos=\count99 -\lst@lostspace=\dimen109 -\lst@width=\dimen110 -\lst@newlines=\count100 -\lst@lineno=\count101 -\lst@maxwidth=\dimen111 - -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) -\c@lstnumber=\count102 -\lst@skipnumbers=\count103 -\lst@framebox=\box27 -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2007/02/22 1.4 listings configuration -)) -Package: listings 2007/02/22 1.4 (Carsten Heinz) - -(./paper.aux) -\openout1 = `paper.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 16. -LaTeX Font Info: ... okay on input line 16. -Package hyperref Info: Link coloring OFF on input line 16. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section - -(/usr/local/texlive/2009/texmf-dist/tex/latex/oberdiek/refcount.sty -Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) -) -\c@section@level=\count104 -) -LaTeX Info: Redefining \ref on input line 16. -LaTeX Info: Redefining \pageref on input line 16. - -(./paper.out) (./paper.out) -\@outlinefile=\write6 -\openout6 = `paper.out'. - -\AtBeginShipoutBox=\box28 -\c@lstlisting=\count105 -LaTeX Font Info: Try loading font information for U+msa on input line 25. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 25. - -(/usr/local/texlive/2009/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -\c@authors=\count106 - -authors: &Michael Kohlhase [1 - -{/usr/local/texlive/2009/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] - -LaTeX Warning: Citation `Kohlhase:ssmtl*' on page 2 undefined on input line 72. - - -LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <10> not available -(Font) Font shape `OT1/cmtt/m/n' tried instead on input line 80. -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty -File: lstlang1.sty 2004/09/05 1.3 listings language file -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty -File: lstlang2.sty 2004/09/05 1.3 listings language file -) -(/usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) -) -Package hyperref Info: bookmark level for unknown lstlisting defaults to 0 on i -nput line 91. - (./Makefile) (./continuous.tex [2] (../background/functions.sms) (../backgroun -d/reals.sms) -Package hyperref Info: bookmark level for unknown STdefinitionEnv defaults to 0 - on input line 8. -) (./differentiable.tex) (./paper.bbl -Overfull \hbox (69.37538pt too wide) in paragraph at lines 119--22 -\OT1/cmr/m/n/10 shown how a a []T[]X col-lec-tion can be set up for au-toma-tio -n. - [] - -) -\tf@thm=\write7 -\openout7 = `paper.thm'. - - [3] (./paper.aux) - -LaTeX Warning: There were undefined references. - - ) -Here is how much of TeX's memory you used: - 6658 strings out of 493848 - 99522 string characters out of 3149206 - 189428 words of memory out of 3000000 - 9759 multiletter control sequences out of 15000+200000 - 12316 words of font info for 48 fonts, out of 3000000 for 9000 - 714 hyphenation exceptions out of 8191 - 43i,12n,52p,271b,1168s stack positions out of 5000i,500n,10000p,200000b,50000s - -< -/usr/local/texlive/2009/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb> -Output written on paper.pdf (3 pages, 190417 bytes). -PDF statistics: - 154 PDF objects out of 1000 (max. 8388607) - 38 named destinations out of 1000 (max. 500000) - 65 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.out b/Master/texmf-dist/doc/latex/stex/example/paper/paper.out deleted file mode 100644 index 7c039ea6d4d..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.out +++ /dev/null @@ -1,8 +0,0 @@ -\BOOKMARK [1][-]{section.1}{Introduction}{} -\BOOKMARK [2][-]{subsection.1.1}{The Setup}{section.1} -\BOOKMARK [2][-]{subsection.1.2}{Formatting and OMDoc conversion}{section.1} -\BOOKMARK [2][-]{subsection.1.3}{Makefile-based Automation}{section.1} -\BOOKMARK [1][-]{section.2}{Mathematical Content}{} -\BOOKMARK [2][-]{subsection.2.1}{Continuous Functions}{section.2} -\BOOKMARK [2][-]{subsection.2.2}{Differentiable Functions}{section.2} -\BOOKMARK [1][-]{section.3}{Conclusion}{} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml deleted file mode 100644 index d6ff5faabd9..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml +++ /dev/null @@ -1,423 +0,0 @@ - - - - - - - - - - - - - -

Michael Kohlhase

-
- -

Copyright (c) 2009 Michael Kohlhase

-
- -

An example of semantic Markup in sTeX

-
- -

In this note we give an example of semantic markup in sTeX: -Continuous and differentiable functions are introduced using real numbers, sets and -functions as an assumed background.

-
- -
- - - -

Introduction

-
-
- - -

We will show how to semantically mark up mathematics in the sTeX -format [] and how to convert it into -OMDoc []. -

-

We have some mathematical material in Section which will serve as example -content. In the rest of this section we will explain the setup of the example and -present an approach to automation of the OMDoc conversion via Unix Makefiles. -

-
-
- - - -

The Setup

-
-
- - - - - -

-The source of this note is contained in the file paper.tex. We call it -the targettarget, since formatting it with LaTeX will generate the main -document. The content in Section and Section -comes from included files continuous.tex and -differentiable.tex, we will call them modulemodules, since they may -be used (i.e. included) by other target documents as well. -

-
-
- - -

As the modules are built for inclusion into other documents, they are not -self-contained: -

-
-
- - - -

they do not contain a LaTeX preamble and -\begin/\end{document}, and -

-
-
- - -

they may depend on other modules, whose semantic macros they need to include, -

-
-
- - -

to facilitate this a module file modf.tex comes with a “semantic -macro short form” modf.sms that can be included without generating -output in the PDF. -

-
-
-
- - - -

this will have consequences for the automation. Concretely, the module on -differentiable functions in Section depends on that for continuous -functions in Section . Both of them depend on modules for real numbers, -sets and functions that we do not want to cover in this note. We assume that -they have already been marked up with the same methods as we describe here and are -accessible to us and call them background modulebackgroundmodules. In our setup we -keep them in the subdirectory background. -

-
-
-
-
- - - -

Formatting and OMDoc conversion

-
-
- - -

To format an sTeX document — i.e. to produce a PDF file from the sTeX marked-up -sources — we only need to run the pdflatex program over the target document -— assuming that all modules (regular or background) have semantic macro short forms. -

-

To convert an sTeX document to OMDoc, we need to run latexml over it, -post-process the result by latexmlpost, and finally massage away all remaining -LaTeXML islands with a stylesheet, see  [] for details. -

-
-
-
- - - - -

Makefile-based Automation

-
-
- - -

As the conversion to OMDoc is rather complex (the programs in the three steps take a -variety of options), we support an automation by Unix Makefiles. There are three main -make targets. -

-
-
- - - - -

- make omdoc -

-
-
- -

will trigger the OMDoc transformation of the target -document. -

-
-
- - - -

- make mods -

-
-
- -

will trigger the OMDoc transformation of the modules. -

-
-
- - - -

- make pdf -

-
-
- -

will trigger the LaTeX formatting the target -

-
-
- - - -

- make mpdf -

-
-
- -

will trigger the LaTeX formatting the modules -

-
-
- - - -

- make sms -

-
-
- -

will trigger the re-generation of all semantic macro short -forms of modules (this is implicitly called in all the other make targets) -

-
-
-
- - -

To use this, we need to set up a Makefile of the following form: -

- - - - - - STEXDIR = ../.. - - - - 2 - - TARGET = paper.tex - - - - - - MODSLIBDIR = ../background - - - - 4 - - - - - - - - include $(STEXDIR)/make/Makefile.vars - - - - 6 - - all: omdoc mods pdf - - - - - - include $(STEXDIR)/make/Makefile.in - - - - -

The variable STEXDIR has to be set to the main directory of the sTeX -distribution. The variable TARGET specifies the target document (all other -*.tex files that are not excluded in the BUTFILES variables are -considered as modules). Here, the background directory for convenience. The -MODSLIBDIR specifies the location of the prefix and postfix files -pre.tex and post.tex that will be prepended and appended to the -modules to make them into complete files TeX files that can be converted. The last -three lines just include the Makefiles from the sTeX distribution and configure the -default make target (make all) to be produce the pdf version -

-

Note that in the directory background we have a very similar Makefile as -above. The only differences are that the variable STEXDIR is adapted and -that the BUTFILE variable is set to pre.tex and -post.tex, so that they are not converted. In the directory -background we have followed good practice by establishing a phony -

-
-
-
-
- - - -

Mathematical Content

-
-
- - -

We present some standard mathematical definitions, here from calculus. -

-
-
- - - -

Continuous Functions

-
-
- - - - - - - - - - - - - - - - - - - - C - 0 - - - - arg:1 - arg:2 - - - - - - - - - -

-A function f is called continuouscontinuous at -x, iff for all >ϵ0 there is a >δ0, such that -<-fxfyϵ for all <-xyδ -

-
-
-
-
- - - - -

Differentiable Functions

-
-
- - - - - - - - - - - - - - - - - - - C - 1 - - - - arg:1 - arg:2 - - - - - - - - - -

-A function f is called differentiabledifferentiable at -x, iff for all >ϵ0 there is a >δ0, such that -<-fxfy-xyϵ for all <-xyδ. -

-
-
-
-
- -
- - - -

Conclusion

-
-
- - -

In this note we have given an example of standard mathematical markup and shown how a a -sTeX collection can be set up for automation. -

-
-
-
- - References - -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log deleted file mode 100644 index c1af622d49a..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log +++ /dev/null @@ -1,146 +0,0 @@ - -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/TeX.pool.ltxml... 0.16 sec) - -(Digesting /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/example/paper/paper... -(Processing paper.tex... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/LaTeX.pool.ltxml... 0.13 sec) -(Loading ../../sty/omdoc/omdoc.cls.ltxml... -Warning:perl:warn Subroutine xmlBase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.cls.ltxml line 33 -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/article.cls.ltxml... 0.02 sec) -(Loading ../../sty/sref/sref.sty.ltxml... -(Loading ../../sty/omd/omd.sty.ltxml... 0.00 sec) 0.03 sec) -(Loading ../../sty/omdoc/omdoc.sty.ltxml... -Warning:perl:warn Subroutine omdocColorMacro redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omdoc/omdoc.sty.ltxml line 90 -(Loading ../../sty/omtext/omtext.sty.ltxml... -Warning:perl:warn Subroutine useCMPItemizations redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 30 -Warning:perl:warn Subroutine DefCMPEnvironment redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 58 -Warning:perl:warn Subroutine DefCMPConstructor redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 65 -Warning:perl:warn Subroutine numberIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 218 -Warning:perl:warn Subroutine locateIt redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/omtext/omtext.sty.ltxml line 233 0.04 sec) 0.08 sec) 0.21 sec) -(Loading ../../sty/stex.sty.ltxml... -(Loading ../../sty/stex-logo.sty.ltxml... 0.01 sec) -(Loading ../../sty/modules/modules.sty.ltxml... -Warning:perl:warn Subroutine use_module redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 48 -Warning:perl:warn Subroutine omext redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 63 -Warning:perl:warn Subroutine importmoduleI redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 74 -Warning:perl:warn Subroutine symdef_presentation_pmml redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 375 -Warning:perl:warn Subroutine getSymmdefProperties redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 389 -Warning:perl:warn Subroutine get_cd redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 412 -Warning:perl:warn Subroutine symdef_presentation_TeX redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/modules/modules.sty.ltxml line 463 0.02 sec) -(Loading ../../sty/statements/statements.sty.ltxml... -Warning:perl:warn Subroutine lowcase redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 7 -Warning:perl:warn Subroutine dashed redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 8 -Warning:perl:warn Subroutine makeNCName redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 9 -Warning:perl:warn Subroutine simple_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 17 -Warning:perl:warn Subroutine hash_wrapper redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 25 -Warning:perl:warn Subroutine declareFunctions redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 33 -Warning:perl:warn Subroutine definitionBody redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/statements/statements.sty.ltxml line 75 0.05 sec) -(Loading ../../sty/sproof/sproof.sty.ltxml... -Warning:perl:warn Subroutine extractBodyText redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/sproof/sproof.sty.ltxml line 65 0.03 sec) -(Loading ../../sty/presentation/presentation.sty.ltxml... -Warning:perl:warn Subroutine argument_precedence redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 57 -Warning:perl:warn Subroutine applyPrecedencePreferences redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 71 -Warning:perl:warn Subroutine cvar_id redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/presentation/presentation.sty.ltxml line 303 0.02 sec) -(Loading ../../sty/dcm/dcm.sty.ltxml... -Warning:perl:warn Subroutine getKeyValue_noDelim redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 7 -Warning:perl:warn Subroutine ExportMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 13 -Warning:perl:warn Subroutine FishOutMetadata redefined at /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52. -In Gullet[@0x102619b70] /Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 -/Users/kohlhase/vc/svn/kwarc.info/stex-content/stex/sty/dcm/dcm.sty.ltxml line 52 0.03 sec) 0.28 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amssymb.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/amsfonts.sty.ltxml... 0.01 sec) 0.07 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/alltt.sty.ltxml... 0.04 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/hyperref.sty.ltxml... -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/url.sty.ltxml... 0.01 sec) 0.03 sec) -(Loading ../../../../../../../../../opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml... -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/listings.cfg...[#25] 0.07 sec) -Info: expected:lstlang0.sty Couldn't find config file lstlang0.sty -In Gullet[@0x102619b70] /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -/opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Package/listings.sty.ltxml line 1178 -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang1.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.35 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang2.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525] 1.25 sec) -(Style ../../../../../../../../../usr/local/texlive/2009/texmf-dist/tex/latex/listings/lstlang3.sty...[#25][#50][#75][#100][#125][#150][#175][#200][#225][#250][#275][#300][#325][#350][#375][#400][#425][#450][#475][#500][#525][#550][#575][#600][#625][#650][#675][#700][#725][#750][#775][#800][#825][#850][#875][#900][#925][#950][#975][#1000][#1025][#1050][#1075][#1100][#1125][#1150][#1175][#1200][#1225][#1250][#1275][#1300][#1325][#1350][#1375][#1400][#1425][#1450][#1475][#1500][#1525][#1550] 1.29 sec) 5.46 sec)[#25][#50][#75][#100] -(Processing continuous.tex... -(Processing ../background/functions.sms... 0.01 sec) -(Processing ../background/reals.sms... 0.01 sec) 0.13 sec) -(Processing differentiable.tex... 0.03 sec) 6.98 sec) 7.02 sec) -(Building... -(Loading RelaxNG omdoc+ltxml... -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. -Warning:perl:warn RelaxNG: treating as ANY at /opt/local/lib/perl5/site_perl/5.8.9/LaTeXML/Model/RelaxNG.pm line 311. 1.77 sec)................. 2.20 sec) -(Rewriting... 0.00 sec) -(Math Parsing...14 formulae ...[1][2][3][4][5][6][7][8][9][10][11][12][13][14] -Math parsing succeeded: - ltx:XMArg: 19/19 - ltx:XMath: 14/14 -Symbols assumed as simple identifiers (with # of occurences): - 'C{caligraphic}' (2), 'delta' (4), 'epsilon' (4), 'f{italic}' (4), 'x{italic}' (5), 'y{italic}' (5) -Possibly used as functions? - 'C{caligraphic}' (2/2 usages), 'f{italic}' (4/4 usages) - 0.27 sec) -(Finalizing... 0.02 sec) -Conversion complete: 40 warnings. diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.thm b/Master/texmf-dist/doc/latex/stex/example/paper/paper.thm deleted file mode 100644 index b1323b67308..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.thm +++ /dev/null @@ -1,2 +0,0 @@ -\contentsline {STdefinitionEnv}{{\st@definition@kw }{1}{}}{3}{STtheoremAssEnv.1} -\contentsline {STdefinitionEnv}{{\st@definition@kw }{2}{}}{3}{STtheoremAssEnv.2} diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml b/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml deleted file mode 100644 index dd8df314aba..00000000000 --- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml +++ /dev/null @@ -1,455 +0,0 @@ - - - - - - - - - - - - - -

Michael Kohlhase

-
- -

Copyright (c) 2009 Michael Kohlhase

-
- -

An example of semantic Markup in sTeX

-
- -

In this note we give an example of semantic markup in sTeX: -Continuous and differentiable functions are introduced using real numbers, sets and -functions as an assumed background.

-
- -
- - - -

Introduction

-
-
- - -

We will show how to semantically mark up mathematics in the sTeX -format [] and how to convert it into -OMDoc []. -

-

We have some mathematical material in Section which will serve as example -content. In the rest of this section we will explain the setup of the example and -present an approach to automation of the OMDoc conversion via Unix Makefiles. -

-
-
- - - -

The Setup

-
-
- - - - - -

-The source of this note is contained in the file paper.tex. We call it -the targettarget, since formatting it with LaTeX will generate the main -document. The content in Section and Section -comes from included files continuous.tex and -differentiable.tex, we will call them modulemodules, since they may -be used (i.e. included) by other target documents as well. -

-
-
- - -

As the modules are built for inclusion into other documents, they are not -self-contained: -

-
-
- - - -

they do not contain a LaTeX preamble and -\begin/\end{document}, and -

-
-
- - -

they may depend on other modules, whose semantic macros they need to include, -

-
-
- - -

to facilitate this a module file modf.tex comes with a “semantic -macro short form” modf.sms that can be included without generating -output in the PDF. -

-
-
-
- - - -

this will have consequences for the automation. Concretely, the module on -differentiable functions in Section depends on that for continuous -functions in Section . Both of them depend on modules for real numbers, -sets and functions that we do not want to cover in this note. We assume that -they have already been marked up with the same methods as we describe here and are -accessible to us and call them background modulebackgroundmodules. In our setup we -keep them in the subdirectory background. -

-
-
-
-
- - - -

Formatting and OMDoc conversion

-
-
- - -

To format an sTeX document — i.e. to produce a PDF file from the sTeX marked-up -sources — we only need to run the pdflatex program over the target document -— assuming that all modules (regular or background) have semantic macro short forms. -

-

To convert an sTeX document to OMDoc, we need to run latexml over it, -post-process the result by latexmlpost, and finally massage away all remaining -LaTeXML islands with a stylesheet, see  [] for details. -

-
-
-
- - - - -

Makefile-based Automation

-
-
- - -

As the conversion to OMDoc is rather complex (the programs in the three steps take a -variety of options), we support an automation by Unix Makefiles. There are three main -make targets. -

-
-
- - - - -

- make omdoc -

-
-
- -

will trigger the OMDoc transformation of the target -document. -

-
-
- - - -

- make mods -

-
-
- -

will trigger the OMDoc transformation of the modules. -

-
-
- - - -

- make pdf -

-
-
- -

will trigger the LaTeX formatting the target -

-
-
- - - -

- make mpdf -

-
-
- -

will trigger the LaTeX formatting the modules -

-
-
- - - -

- make sms -

-
-
- -

will trigger the re-generation of all semantic macro short -forms of modules (this is implicitly called in all the other make targets) -

-
-
-
- - -

To use this, we need to set up a Makefile of the following form: -

- - - - - - STEXDIR = ../.. - - - - 2 - - TARGET = paper.tex - - - - - - MODSLIBDIR = ../background - - - - 4 - - - - - - - - include $(STEXDIR)/make/Makefile.vars - - - - 6 - - all: omdoc mods pdf - - - - - - include $(STEXDIR)/make/Makefile.in - - - - -

The variable STEXDIR has to be set to the main directory of the sTeX -distribution. The variable TARGET specifies the target document (all other -*.tex files that are not excluded in the BUTFILES variables are -considered as modules). Here, the background directory for convenience. The -MODSLIBDIR specifies the location of the prefix and postfix files -pre.tex and post.tex that will be prepended and appended to the -modules to make them into complete files TeX files that can be converted. The last -three lines just include the Makefiles from the sTeX distribution and configure the -default make target (make all) to be produce the pdf version -

-

Note that in the directory background we have a very similar Makefile as -above. The only differences are that the variable STEXDIR is adapted and -that the BUTFILE variable is set to pre.tex and -post.tex, so that they are not converted. In the directory -background we have followed good practice by establishing a phony -

-
-
-
-
- - - -

Mathematical Content

-
-
- - -

We present some standard mathematical definitions, here from calculus. -

-
-
- - - -

Continuous Functions

-
-
- - - - - - - - - - - - - - - - - - - - - 0 - - - - - - - - - - - - C - 0 - - - - - arg:1 - , - arg:2 - - - - - - - - - - -

-A function funf, RealNumbers, RealNumbers is called continuouscontinuous at -insetx, RealNumbers, iff for all 0ϵ>0 there is a 0δ>0, such that -absvalfx-fy<ϵ for all absvalx-y<δ -

-
-
-
-
- - - - -

Differentiable Functions

-
-
- - - - - - - - - - - - - - - - - - - - 1 - - - - - - - - - - - - C - 1 - - - - - arg:1 - , - arg:2 - - - - - - - - - - -

-A function funf, RealNumbers, RealNumbers is called differentiabledifferentiable at -insetx, RealNumbers, iff for all 0ϵ>0 there is a 0δ>0, such that -rfracabsvalfx-fy, absvalx-y<ϵ for all absvalx-y<δ. -

-
-
-
-
- -
- - - -

Conclusion

-
-
- - -

In this note we have given an example of standard mathematical markup and shown how a a -sTeX collection can be set up for automation. -

-
-
-
- - References - -
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml.log b/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml.log deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides.pdf deleted file mode 100644 index 7c412e2ea5d..00000000000 Binary files a/Master/texmf-dist/doc/latex/stex/mikoslides.pdf and /dev/null differ diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/README b/Master/texmf-dist/doc/latex/stex/mikoslides/README new file mode 100644 index 00000000000..57bf5ac2054 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README @@ -0,0 +1,9 @@ +mikoslides.cls: A Document class for Semantic Slides + +The mikoslides class provides a practical basis for marking up slides semantically in sTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +The development version of this document class can be found at +https://svn.kwarc.info/repos/stex/sty/mikoslides diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf new file mode 100644 index 00000000000..b5cf7c8204f Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/modules/README b/Master/texmf-dist/doc/latex/stex/modules/README new file mode 100644 index 00000000000..b260a1e9d36 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/modules/README @@ -0,0 +1,20 @@ +modules.sty: An Infrastructure for Semantic Macros and Module Scoping + +The modules package supplies an infrastructure that allows mark up semantic macros +and to reuse them efficiently in multiple environments. + +This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows +to markup TeX/LaTeX documents semantically without leaving the document format, +essentially turning it into a document format for mathematical knowledge management +(MKM). + +This package supplies a definition mechanism for semantic macros and a non-standard +scoping construct for them, which is oriented at the semantic depency relation rather +than the document structure. This structure can be used by MKM systems for +added-value services, either directly from the sTeX sources, or after translation. + +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/modules/README $ diff --git a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf new file mode 100644 index 00000000000..cd0d16b778c Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/omd/README b/Master/texmf-dist/doc/latex/stex/omd/README new file mode 100644 index 00000000000..f655e5d95b2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/omd/README @@ -0,0 +1,11 @@ +omd.sty: A generic framework for extensible Metadata in LaTeX + +The omd packge supplies the infrastructure for extending sTeX macros with ontology-based +metadata. This is a package primarily aimed at authors of sTeX extensions. + +Copyright (c) 2009 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/omd/README $ + diff --git a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf b/Master/texmf-dist/doc/latex/stex/omd/omd.pdf new file mode 100644 index 00000000000..550b18c8064 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/omd/omd.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README new file mode 100644 index 00000000000..80a516784ed --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/omdoc/README @@ -0,0 +1,11 @@ +omdoc.cls: A LaTeX Class for OMDoc Documents +omdoc.sty: A LaTeX Package for OMDoc Document structures + +This package and class supplies a the infrastructure for writing OMDoc documents +(see http://www.omdoc.org) in LaTeX. + +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/omdoc/README $ diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf new file mode 100644 index 00000000000..f30f84c833f Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/omtext/README b/Master/texmf-dist/doc/latex/stex/omtext/README new file mode 100644 index 00000000000..d4681ffbb93 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/omtext/README @@ -0,0 +1,10 @@ +omtext.sty: A LaTeX Package for OMDoc Text environments + +This package supplies a the infrastructure for writing OMDoc text fragments. +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2010 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/omtext/README $ diff --git a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf new file mode 100644 index 00000000000..418f5eef06d Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/presentation/README b/Master/texmf-dist/doc/latex/stex/presentation/README new file mode 100644 index 00000000000..3436ba5a327 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/presentation/README @@ -0,0 +1,14 @@ +presentation.sty: An Infrastructure for Presenting Semantic Macros + +This package supplies an infrastructure that allows to specify the presentation of +semantic macros, including preference-based bracket elision. This allows to markup the +functional structure of mathematical formulae without having to lose high-quality +human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by +MKM systems for added-value services, either directly from the {\sTeX} sources, or after +translation. + +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/presentation/README $ diff --git a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf new file mode 100644 index 00000000000..1d63eea05b3 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf index 27a7c6a30c2..063a4654aca 100644 Binary files a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf and b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README new file mode 100644 index 00000000000..89c91485ed0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README @@ -0,0 +1,12 @@ +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 $ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf new file mode 100644 index 00000000000..c9610596c10 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf new file mode 100644 index 00000000000..7f32d2f519e Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex new file mode 100644 index 00000000000..78ea705fa5f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex @@ -0,0 +1,126 @@ +\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: + diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README new file mode 100644 index 00000000000..4037dce940e --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sproof/README @@ -0,0 +1,11 @@ +sproof.sty: An Infrastructure for Structural Markup for Proofs + +This package supplies macros and environment that allow to annotate the structure of +mathematical proofs. This structure can be used by MKM systems for added-value services, +either directly from the sTeX sources, or after translation 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/sproof/README $ diff --git a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf new file mode 100644 index 00000000000..fa441932ded Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/README b/Master/texmf-dist/doc/latex/stex/sref/README new file mode 100644 index 00000000000..f221504c5f8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/README @@ -0,0 +1,10 @@ +sref.sty: A LaTeX Package for semantic crossreferences + +This package and class supplies a the infrastructure for crossreferencing across multiple files + +Copyright (c) 2009 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/sref/README $ + diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.pdf b/Master/texmf-dist/doc/latex/stex/sref/book.pdf new file mode 100644 index 00000000000..6f9a2e051a1 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/book.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.tex b/Master/texmf-dist/doc/latex/stex/sref/book.tex new file mode 100644 index 00000000000..f2f6d5d0c0d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/book.tex @@ -0,0 +1,18 @@ +\documentclass{book} +\usepackage{omtext,omdoc} +\title{Advanced Crossreferencing in {\LaTeX}} +\author{Elder Researcher (ed.)} +\usepackage{hyperref} +\begin{document} +\maketitle +\tableofcontents +\newpage +\chapter{Semantic Crossreferencing (Jane Doe, ...)} +\input{idcmain}\newpage +\chapter{Inter-Document Crossreferencing (John Bull, ...)} +\input{scrmain} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf new file mode 100644 index 00000000000..4e0ef1cbeff Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.tex b/Master/texmf-dist/doc/latex/stex/sref/idc.tex new file mode 100644 index 00000000000..f85a3413758 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/idc.tex @@ -0,0 +1,21 @@ +\documentclass[extrefs]{omdoc} +\usepackage{omtext} +\makeextrefs{idc} +\inputrefs{scr}{scr} +\extrefstyle{scr}{\cite[\protect{\theextref}]{scrcit}} +\title{Inter-Document Crossreferencing} +\author{John Bull} +\usepackage{hyperref} +\begin{document} +\maketitle\newpage +\input{idcmain}\newpage +\begin{thebibliography}{SCR} +\bibitem[SCR]{scrcit} +Jane Doe\newblock \href{scr.pdf}{Semantic Crossreferencing}\newblock Personal communication. +\end{thebibliography} +\end{document} + +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf new file mode 100644 index 00000000000..91bd32bc17c Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.tex b/Master/texmf-dist/doc/latex/stex/sref/scr.tex new file mode 100644 index 00000000000..16b35003027 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/scr.tex @@ -0,0 +1,20 @@ +\documentclass[extrefs]{omdoc} +\usepackage{omtext} +\makeextrefs{scr} +\inputrefs{idc}{idc} +\extrefstyle{idc}{\cite[\protect{\theextref}]{idccit}} +\title{Semantic Crossreferencing} +\author{Jane Doe} +\usepackage{hyperref} +\begin{document} +\maketitle +\input{scrmain} +\begin{thebibliography}{IDC} +\bibitem[IDC]{idccit} +John Bull\newblock \href{scr.pdf}{Inter-Document Crossreferencing}\newblock Personal communication +\end{thebibliography} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf new file mode 100644 index 00000000000..d677132867d Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/statements/README b/Master/texmf-dist/doc/latex/stex/statements/README new file mode 100644 index 00000000000..152239e074a --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/statements/README @@ -0,0 +1,10 @@ +statements.sty: A LaTeX Package for mathematical Statements + +This package and class supplies a the infrastructure for writing OMDoc statements +(see http://www.omdoc.org) in LaTeX. + +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/statements/README $ diff --git a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf new file mode 100644 index 00000000000..a3e38f47b9b Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf differ -- cgit v1.2.3