From 277ca449c86a187fe858defdcd6aa1830d3b2d0d Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 19 Jul 2010 23:16:46 +0000 Subject: reinstate stex via new .tds.zip git-svn-id: svn://tug.org/texlive/trunk@19538 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/stex/README | 12 + Master/texmf-dist/doc/latex/stex/assignment/README | 10 + .../doc/latex/stex/assignment/assignment.pdf | Bin 0 -> 259072 bytes Master/texmf-dist/doc/latex/stex/cmathml/README | 13 + .../texmf-dist/doc/latex/stex/cmathml/cmathml.pdf | Bin 0 -> 502405 bytes Master/texmf-dist/doc/latex/stex/cnx/README | 13 + Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf | Bin 0 -> 336643 bytes Master/texmf-dist/doc/latex/stex/example/Makefile | 4 + Master/texmf-dist/doc/latex/stex/example/README | 18 + .../doc/latex/stex/example/background/Makefile | 8 + .../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.omdoc | 155 +++++++ .../doc/latex/stex/example/background/all.out | 2 + .../doc/latex/stex/example/background/all.pdf | Bin 0 -> 63185 bytes .../doc/latex/stex/example/background/all.tex | 12 + .../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 + .../latex/stex/example/background/functions.omdoc | 85 ++++ .../stex/example/background/functions.omdoc.log | 0 .../latex/stex/example/background/functions.sms | 5 + .../latex/stex/example/background/functions.tex | 15 + .../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 +++++++ .../doc/latex/stex/example/background/post.tex | 1 + .../doc/latex/stex/example/background/pre.tex | 6 + .../doc/latex/stex/example/background/reals.omdoc | 74 ++++ .../latex/stex/example/background/reals.omdoc.log | 0 .../doc/latex/stex/example/background/reals.sms | 5 + .../doc/latex/stex/example/background/reals.tex | 20 + .../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/Makefile | 7 + .../doc/latex/stex/example/paper/all.tex.xml.log | 133 ++++++ .../doc/latex/stex/example/paper/auto/paper.el | 14 + .../doc/latex/stex/example/paper/continuous.omdoc | 53 +++ .../latex/stex/example/paper/continuous.omdoc.log | 0 .../doc/latex/stex/example/paper/continuous.sms | 6 + .../doc/latex/stex/example/paper/continuous.tex | 17 + .../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 .../latex/stex/example/paper/differentiable.omdoc | 53 +++ .../stex/example/paper/differentiable.omdoc.log | 0 .../latex/stex/example/paper/differentiable.sms | 5 + .../latex/stex/example/paper/differentiable.tex | 16 + .../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.omdoc | 399 ++++++++++++++++++ .../doc/latex/stex/example/paper/paper.out | 8 + .../doc/latex/stex/example/paper/paper.pdf | Bin 0 -> 190417 bytes .../doc/latex/stex/example/paper/paper.tex | 132 ++++++ .../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 .../doc/latex/stex/example/test/Makefile | 7 + Master/texmf-dist/doc/latex/stex/mikoslides.pdf | Bin 0 -> 248314 bytes Master/texmf-dist/doc/latex/stex/problem/README | 10 + .../texmf-dist/doc/latex/stex/problem/problem.pdf | Bin 0 -> 271794 bytes Master/texmf-dist/doc/latex/stex/stex.pdf | Bin 0 -> 350237 bytes 84 files changed, 5028 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/stex/README create mode 100644 Master/texmf-dist/doc/latex/stex/assignment/README create mode 100644 Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/cmathml/README create mode 100644 Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/cnx/README create mode 100644 Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/example/Makefile create mode 100644 Master/texmf-dist/doc/latex/stex/example/README create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/Makefile create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.aux create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.idx create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.ilg create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.ind create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.out create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.thm create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/auto/all.el create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/functions.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/post.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/pre.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/Makefile create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.aux create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.blg create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.idx create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.ind create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.out create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.thm create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.xml create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.xml.log create mode 100644 Master/texmf-dist/doc/latex/stex/example/test/Makefile create mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/problem/README create mode 100644 Master/texmf-dist/doc/latex/stex/problem/problem.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/stex.pdf (limited to 'Master/texmf-dist/doc/latex/stex') diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README new file mode 100644 index 00000000000..6aa73d031a4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/README @@ -0,0 +1,12 @@ +sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents + +This directory contains the sTeX package 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). + +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 +https://svn.kwarc.info/repos/stex/sty/stex/ diff --git a/Master/texmf-dist/doc/latex/stex/assignment/README b/Master/texmf-dist/doc/latex/stex/assignment/README new file mode 100644 index 00000000000..a62ceef0182 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/assignment/README @@ -0,0 +1,10 @@ +assignment.sty: An Infrastructure for marking up Assignment Sheets + +The assignment packge allows individual course assignment sheets and compond +assignment documents using problem files marked up with the problem package. + +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 +https://svn.kwarc.info/repos/stex/sty/assignment/ diff --git a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf b/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf new file mode 100644 index 00000000000..f2d9cb1cb43 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/README b/Master/texmf-dist/doc/latex/stex/cmathml/README new file mode 100644 index 00000000000..3117561fabb --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/cmathml/README @@ -0,0 +1,13 @@ +cmathml.sty: Semantic Macros for Content MathML in LaTeX +cmathmlx.sty: Semantic Macros for extended Content MathML + +This package provides a collection of semantic macros for Content MathML and their LateXML +bindings. These macros form the basis of a naive translation from semantically preloaded +LaTeX formulae into the Content MathML formulae 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/cmathml/README $ + diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf new file mode 100644 index 00000000000..e625281a4a7 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/cnx/README b/Master/texmf-dist/doc/latex/stex/cnx/README new file mode 100644 index 00000000000..113b526364f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/cnx/README @@ -0,0 +1,13 @@ +cnx.cls: A LaTeX-based Syntax for Connexions Modules + +The cnx class is a collection of TeX macros that allow to write Connexions modules in the +CNXLaTeX format without leaving the LaTeX workflow. Modules are authored using cnx.cls +using only a text editor, transformed to PDF and proofread as usual. For publication, +CNXLaTeX modules are transformed to CNXML via the LaTeXML translator and can be uploaded +to the Connexions 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/cnx/README $ diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf new file mode 100644 index 00000000000..9a56a09ba3e Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/example/Makefile b/Master/texmf-dist/doc/latex/stex/example/Makefile new file mode 100644 index 00000000000..df87da1fbee --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/Makefile @@ -0,0 +1,4 @@ +STEXDIR = .. +MAKEDIRS = background paper +CLEANDIRS = $(MAKEDIRS) +include $(STEXDIR)/make/Makefile.subdirs diff --git a/Master/texmf-dist/doc/latex/stex/example/README b/Master/texmf-dist/doc/latex/stex/example/README new file mode 100644 index 00000000000..7424d68ebca --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/README @@ -0,0 +1,18 @@ +This directory contains a typical (if minimal) example of a sTeX +collection, and a Makefile-based conversion workflow. It is intended +to test the sTeX distribution and serve as an example for sTeX users +to set up their system. It contains + +README: this file +Makefile: this contains rules to automate the PDF formatting and + XML conversion process. +background: a directory with background modules, this is assumed to + exist before starting work on the paper, in real life this + would probably be a subversion external. +paper: a directory with a paper based on two modules and the + background modules. +test: a directory that has the makefiles to accomodate your tests; + just copy your files there adjust TARGET and type make. + +For an explanation of the design of the example see paper/example.pdf or +https://trac.kwarc.info/sTeX/wiki/sTeXCollections diff --git a/Master/texmf-dist/doc/latex/stex/example/background/Makefile b/Master/texmf-dist/doc/latex/stex/example/background/Makefile new file mode 100644 index 00000000000..af7cc21e5eb --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/Makefile @@ -0,0 +1,8 @@ +STEXDIR = ../.. +TARGET = all.tex +BUTFILES = pre.tex post.tex +MODSLIBDIR = . + +include $(STEXDIR)/make/Makefile.vars +all: omdoc mods pdf +include $(STEXDIR)/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.aux b/Master/texmf-dist/doc/latex/stex/example/background/all.aux new file mode 100644 index 00000000000..dc50aac6bd6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.aux @@ -0,0 +1,28 @@ +\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 new file mode 100644 index 00000000000..0189e693a90 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.idx @@ -0,0 +1,3 @@ +\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 new file mode 100644 index 00000000000..9a97b1089c1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.ilg @@ -0,0 +1,6 @@ +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 new file mode 100644 index 00000000000..b19d7a0f072 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.ind @@ -0,0 +1,15 @@ +\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 new file mode 100644 index 00000000000..76f13f0dfac --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.log @@ -0,0 +1,309 @@ +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.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc new file mode 100644 index 00000000000..45c2c612b05 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc @@ -0,0 +1,155 @@ + + + + + + +

Functions

+
+
+ + + + + + + + + + + + + + + ( + + + × + + + + ) + + + + + + + + + + + + + + + + ( + + : + + + + ) + + + + + + + + + + + + + + + ( + + + + ) + + + + + + +

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

+
+
+
+
+ + + +

Real Numbers

+
+
+ + + + + + + + + R + + + + + + + + + + + + + ( + | + + | + ) + + + + + + + + + + + + + + + + + + + + + + +

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

+
+
+ + +

+The absolute value of a real number . +

+
+
+
+
+ +
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.out b/Master/texmf-dist/doc/latex/stex/example/background/all.out new file mode 100644 index 00000000000..80902fd57c3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.out @@ -0,0 +1,2 @@ +\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 new file mode 100644 index 00000000000..92075edc5ea Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/example/background/all.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.tex b/Master/texmf-dist/doc/latex/stex/example/background/all.tex new file mode 100644 index 00000000000..27df61d1e61 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.tex @@ -0,0 +1,12 @@ +\documentclass{omdoc} +\usepackage{stex} +\usepackage{hyperref,amssymb} +\defpath{backmods}{../background} +\begin{document} +\input{functions} +\input{reals} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: 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 new file mode 100644 index 00000000000..37ce2d0241e --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml @@ -0,0 +1,240 @@ + + + + + + + + + + +

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 new file mode 100644 index 00000000000..416640aa334 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.tex.xml.log @@ -0,0 +1,49 @@ + +(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 new file mode 100644 index 00000000000..094040394df --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.thm @@ -0,0 +1,3 @@ +\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 new file mode 100644 index 00000000000..cd9d3e6ae76 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/all.xml @@ -0,0 +1,285 @@ + + + + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d 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 new file mode 100644 index 00000000000..00c090b4ab9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/auto/all.el @@ -0,0 +1,12 @@ +(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 b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc new file mode 100644 index 00000000000..819908cf05d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc @@ -0,0 +1,85 @@ + + + + + + +

Functions

+
+
+ + + + + + + + + + + + + + ( + + + × + + + + ) + + + + + + + + + + + + + + + + ( + + : + + + + ) + + + + + + + + + + + + + + + ( + + + + ) + + + + + + +

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

+
+
+
+
+ +
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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.sms b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms new file mode 100644 index 00000000000..9c7f4c79211 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms @@ -0,0 +1,5 @@ +\begin{module}[id=functions]% +\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}}% +\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}}% +\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}}% +\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.tex b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex new file mode 100644 index 00000000000..d71ee13a25b --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex @@ -0,0 +1,15 @@ +\begin{omgroup}[id=sec.functions,creators=miko]{Functions} +\begin{module}[id=functions] +\symdef[assocarg=1]{cart}[1]{\assoc[p=500]{\times}{#1}} +\symdef{fun}[3]{\mixfixiii[p=200]{}{#1}{\colon}{#2}{\rightarrow}{#3}{}} +\symdef{inset}[2]{\infix[p=650]{\in}{#1}{#2}} + +\begin{definition}[id=functions.def] + A {\defin{function}} $\fun{f}AB$ is a left-total, right-unique relation in $\cart{A,B}$ +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "all" +%%% End: 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 new file mode 100644 index 00000000000..3c3dc0a3bbe --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml @@ -0,0 +1,138 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..dd838c7b779 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex.xml.log @@ -0,0 +1,27 @@ + +(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 new file mode 100644 index 00000000000..631a76a0318 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.xml @@ -0,0 +1,165 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d 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 new file mode 100644 index 00000000000..8e6af5e626f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/paper.tex.xml.log @@ -0,0 +1,146 @@ + +(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/post.tex b/Master/texmf-dist/doc/latex/stex/example/background/post.tex new file mode 100644 index 00000000000..6b47932f52b --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/post.tex @@ -0,0 +1 @@ +\end{document} diff --git a/Master/texmf-dist/doc/latex/stex/example/background/pre.tex b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex new file mode 100644 index 00000000000..38faacc82b0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex @@ -0,0 +1,6 @@ +\documentclass{omdoc} +\usepackage{stex,amssymb} +\usepackage{hyperref} +\defpath{backmods}{../background} +% \baseURI[\backmods{}]{http://linkeddata.tntbase.org/stex} +% \coolurion diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc new file mode 100644 index 00000000000..96455425373 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc @@ -0,0 +1,74 @@ + + + + + + +

Real Numbers

+
+
+ + + + + + + + + R + + + + + + + + + + + + + ( + | + + | + ) + + + + + + + + + + + + + + + + + + + + + + +

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

+
+
+ + +

+The absolute value of a real number . +

+
+
+
+
+ +
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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.sms b/Master/texmf-dist/doc/latex/stex/example/background/reals.sms new file mode 100644 index 00000000000..437865ee78c --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.sms @@ -0,0 +1,5 @@ +\begin{module}[id=reals]% +\symdef{RealNumbers}{\mathbb{R}}% +\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}% +\symdef{rfrac}[2]{\frac{#1}{#2}}% +\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.tex b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex new file mode 100644 index 00000000000..6acdee48cbe --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex @@ -0,0 +1,20 @@ +\begin{omgroup}[id=sec.reals]{Real Numbers} +\begin{module}[id=reals] +\symdef{RealNumbers}{\mathbb{R}} +\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|} +\symdef{rfrac}[2]{\frac{#1}{#2}} + +\begin{definition}[id=reals.def] + We denote the set of {\twindef{real}{numbers}} we all know and love with + $\RealNumbers$. +\end{definition} + +\begin{definition}[id=absval.def] + The absolute value $\absval{r}$ of a real number $r$. +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "all" +%%% End: 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 new file mode 100644 index 00000000000..30fd3d46171 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml @@ -0,0 +1,104 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..aae799e00aa --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.tex.xml.log @@ -0,0 +1,12 @@ + +(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 new file mode 100644 index 00000000000..3e5069c314e --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.xml @@ -0,0 +1,122 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/Makefile b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile new file mode 100644 index 00000000000..1b71727ec2f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/Makefile @@ -0,0 +1,7 @@ +STEXDIR = ../.. +TARGET = paper.tex +MODSLIBDIR = ../background + +include $(STEXDIR)/make/Makefile.vars +all: omdoc mods pdf +include $(STEXDIR)/make/Makefile.in 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 new file mode 100644 index 00000000000..5d8b6c3a0fe --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/all.tex.xml.log @@ -0,0 +1,133 @@ + +(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 new file mode 100644 index 00000000000..e98cfe03405 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/auto/paper.el @@ -0,0 +1,14 @@ +(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 b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc new file mode 100644 index 00000000000..d02a6d216e7 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc @@ -0,0 +1,53 @@ + + + + + + +

Continuous Functions

+
+
+ + + + + + + + + + + + + + + + + + C + 0 + + + + + + , + + + + + + + + + +

+A function is called continuouscontinuous at +, iff for all 0 there is a 0, such that + for all

+
+
+
+
+ +
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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms new file mode 100644 index 00000000000..6d42d0f52a6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.sms @@ -0,0 +1,6 @@ +\begin{module}[id=continuous]% +\importmodule[\backmods{functions}]{functions}% +\importmodule[\backmods{reals}]{reals}% +\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)}% +\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers}% +\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex new file mode 100644 index 00000000000..65b6f832eae --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex @@ -0,0 +1,17 @@ +\begin{omgroup}[id=sec.contfuncs]{Continuous Functions} +\begin{module}[id=continuous] +\importmodule[\backmods{functions}]{functions} +\importmodule[\backmods{reals}]{reals} +\symdef{continuousfunctions}[2]{\mathcal{C}^0(#1,#2)} +\abbrdef{ContRR}[2]{\continuousfunctions\RealNumbers\RealNumbers} +\begin{definition} + A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defin{continuous}} at + $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that + $\absval{f(x)-f(y)}<\epsilon$ for all $\absval{x-y}<\delta$ +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "paper" +%%% End: 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 new file mode 100644 index 00000000000..1e8d3ae1c98 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml @@ -0,0 +1,59 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..1c1ce813a58 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex.xml.log @@ -0,0 +1,203 @@ + +(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 new file mode 100644 index 00000000000..6b43f50d2d2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.xml @@ -0,0 +1,75 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc new file mode 100644 index 00000000000..20c184eff4a --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc @@ -0,0 +1,53 @@ + + + + + + +

Differentiable Functions

+
+
+ + + + + + + + + + + + + + + + + C + 1 + + + + + + , + + + + + + + + + +

+A function is called differentiabledifferentiable at +, iff for all 0 there is a 0, such that + for all . +

+
+
+
+
+ +
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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms new file mode 100644 index 00000000000..cb2122c1064 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.sms @@ -0,0 +1,5 @@ +\begin{module}[id=differentiable]% +\importmodule[continuous]{continuous}% +\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}% +\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}% +\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex new file mode 100644 index 00000000000..ee9c66f9409 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex @@ -0,0 +1,16 @@ +\begin{omgroup}[id=sec.differentiable]{Differentiable Functions} +\begin{module}[id=differentiable] +\importmodule[continuous]{continuous} +\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)} +\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers} +\begin{definition} + A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defin{differentiable}} at + $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that + $\rfrac{\absval{f(x)-f(y)}}{\absval{x-y}}<\epsilon$ for all $\absval{x-y}<\delta$. +\end{definition} +\end{module} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "paper" +%%% End: 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 new file mode 100644 index 00000000000..774b767b4cc --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml @@ -0,0 +1,58 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..a0d99ecc131 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex.xml.log @@ -0,0 +1,17 @@ + +(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 new file mode 100644 index 00000000000..649b017e523 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.xml @@ -0,0 +1,74 @@ + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux b/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux new file mode 100644 index 00000000000..b6d2090b5cc --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.aux @@ -0,0 +1,41 @@ +\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 new file mode 100644 index 00000000000..42535bf2dd0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.bbl @@ -0,0 +1,35 @@ +\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 new file mode 100644 index 00000000000..a8a4318ab46 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.blg @@ -0,0 +1,47 @@ +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 new file mode 100644 index 00000000000..9e9ab5e324e --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.idx @@ -0,0 +1,6 @@ +\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 new file mode 100644 index 00000000000..bf39bf695f8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.ilg @@ -0,0 +1,6 @@ +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 new file mode 100644 index 00000000000..8b9a914f7cf --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.ind @@ -0,0 +1,23 @@ +\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 new file mode 100644 index 00000000000..8dd02633640 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.log @@ -0,0 +1,376 @@ +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.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc new file mode 100644 index 00000000000..ca38d57bd73 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc @@ -0,0 +1,399 @@ + + + + + +

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 +/, 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 = ../..
2TARGET = paper.tex
+ MODSLIBDIR = ../background
4 +
+ include $(STEXDIR)/make/Makefile.vars
6all: 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 + + + + + + , + + + + + + + + + +

+A function is called continuouscontinuous at +, iff for all 0 there is a 0, such that + for all

+
+
+
+
+ + + +

Differentiable Functions

+
+
+ + + + + + + + + + + + + + + + + C + 1 + + + + + + , + + + + + + + + + +

+A function is called differentiabledifferentiable at +, iff for all 0 there is a 0, such that + for all . +

+
+
+
+
+
+ + + +

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. +

+
+
+
+ + + + + + + + +
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.out b/Master/texmf-dist/doc/latex/stex/example/paper/paper.out new file mode 100644 index 00000000000..7c039ea6d4d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.out @@ -0,0 +1,8 @@ +\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.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf new file mode 100644 index 00000000000..36705f2e2ba Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex new file mode 100644 index 00000000000..2949019944d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex @@ -0,0 +1,132 @@ +\documentclass{omdoc} +\usepackage{stex,amssymb} +\usepackage{alltt} +\usepackage{hyperref} +\usepackage{listings} +\def\omdoc{OMDoc} +\def\latexml{LaTeXML} +\defpath{backmods}{../background} +%% defining the author metadata +\DCMperson[id=miko, + affiliation={Jacobs University, Bremen}, + url=http://kwarc.info/kohlhase] + {Michael Kohlhase} + +\begin{document} + +% metadata and title page +\begin{DCmetadata}[maketitle] + \DCMcreators{miko} + \DCMrights{Copyright (c) 2009 Michael Kohlhase} + \DCMtitle{An example of semantic Markup in {\sTeX}} + \DCMabstract{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.} +\end{DCmetadata} + +\begin{omgroup}[id=intro]{Introduction} + We will show how to semantically mark up mathematics in the {\sTeX} + format~\cite{Kohlhase:ulsmf08} and how to convert it into + {\omdoc}~\cite{Kohlhase:OMDoc1.3}. + + We have some mathematical material in {\sref{sec.math}} 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. + \begin{omgroup}{The Setup} + \begin{module}[id=setup] + \begin{definition}[display=flow] + The source of this note is contained in the file {\texttt{paper.tex}}. We call it + the {\defin{target}}, since formatting it with {\LaTeX} will generate the main + document. The content in {\sref{sec.contfuncs}} and {\sref{sec.differentiable}} + comes from included files {\texttt{continuous.tex}} and + {\texttt{differentiable.tex}}, we will call them {\defin{module}s}, since they may + be used (i.e. included) by other target documents as well. + \end{definition} + As the modules are built for inclusion into other documents, they are not + self-contained: + \begin{enumerate} + \item they do not contain a {\LaTeX} preamble and + \verb|\begin|/\verb|\end{document}|, and + \item they may depend on other modules, whose semantic macros they need to include, + \item to facilitate this a module file {\texttt{modf.tex}} comes with a ``semantic + macro short form'' {\texttt{modf.sms}} that can be included without generating + output in the PDF. + \end{enumerate} + this will have consequences for the automation. Concretely, the module on + differentiable functions in {\sref{sec.differentiable}} depends on that for continuous + functions in {\sref{sec.contfuncs}}. Both of them depend on modules for real numbers, + sets and functions that we do not want to cover in this note. \inlinedef{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 {\twindef{background}{module}s}}. In our setup we + keep them in the subdirectory {\texttt{background}}. + \end{module} +\end{omgroup} + +\begin{omgroup}{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 {\texttt{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 {\texttt{latexml}} over it, + post-process the result by {\texttt{latexmlpost}}, and finally massage away all remaining + {\latexml} islands with a stylesheet, see ~\cite{Kohlhase:ssmtl*} for details. +\end{omgroup} + +\begin{omgroup}{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 + {\texttt{make}} targets. +\begin{description} + \item[{\texttt{make omdoc}}] will trigger the {\omdoc} transformation of the target + document. + \item[{\texttt{make mods}}] will trigger the {\omdoc} transformation of the modules. + \item[{\texttt{make pdf}}] will trigger the {\LaTeX} formatting the target + \item[{\texttt{make mpdf}}] will trigger the {\LaTeX} formatting the modules + \item[{\texttt{make sms}}] will trigger the re-generation of all semantic macro short + forms of modules (this is implicitly called in all the other {\texttt{make}} targets) + \end{description} + To use this, we need to set up a {\texttt{{Makefile}}} of the following form: + + \lstset{columns=flexible,frame=lines,numbers=left,stepnumber=2,numberstyle=\tiny,basicstyle=\small} + \lstinputlisting[language=make]{Makefile} + + The variable {\lstinline{STEXDIR}} has to be set to the main directory of the {\sTeX} + distribution. The variable {\lstinline{TARGET}} specifies the target document (all other + {\texttt{*.tex}} files that are not excluded in the {\lstinline{BUTFILES}} variables are + considered as modules). Here, the {\texttt{background}} directory for convenience. The + {\lstinline{MODSLIBDIR}} specifies the location of the prefix and postfix files + {\texttt{pre.tex}} and {\texttt{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 (\texttt{make all}) to be produce the pdf version + + Note that in the directory {\texttt{background}} we have a very similar Makefile as + above. The only differences are that the variable {\lstinline{STEXDIR}} is adapted and + that the {\lstinline{BUTFILE}} variable is set to {\texttt{pre.tex}} and + {\texttt{post.tex}}, so that they are not converted. In the directory + {\texttt{background}} we have followed good practice by establishing a phony +\end{omgroup} + +\end{omgroup} + +\begin{omgroup}[id=sec.math]{Mathematical Content} + We present some standard mathematical definitions, here from calculus. + \sinput{continuous} + \sinput{differentiable} +\end{omgroup} + +\begin{omgroup}[id=concl]{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. +\end{omgroup} +\bibliographystyle{alpha} +\bibliography{kwarc} +\end{document} + +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: + +% LocalWords: miko Makefiles tex contfuncs modf sms pdflatex latexml Makefile +% LocalWords: latexmlpost omdoc STEXDIR BUTFILES DIRS 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 new file mode 100644 index 00000000000..d6ff5faabd9 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml @@ -0,0 +1,423 @@ + + + + + + + + + + + + + +

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 new file mode 100644 index 00000000000..c1af622d49a --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex.xml.log @@ -0,0 +1,146 @@ + +(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 new file mode 100644 index 00000000000..b1323b67308 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.thm @@ -0,0 +1,2 @@ +\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 new file mode 100644 index 00000000000..dd8df314aba --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.xml @@ -0,0 +1,455 @@ + + + + + + + + + + + + + +

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 new file mode 100644 index 00000000000..e69de29bb2d diff --git a/Master/texmf-dist/doc/latex/stex/example/test/Makefile b/Master/texmf-dist/doc/latex/stex/example/test/Makefile new file mode 100644 index 00000000000..8417d489e81 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/test/Makefile @@ -0,0 +1,7 @@ +STEXDIR = ../.. +TARGET = Konzept-Bremsmodell.tex +MODSLIBDIR = background + +include $(STEXDIR)/make/Makefile.vars +all: omdoc mods pdf +include $(STEXDIR)/make/Makefile.in diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides.pdf new file mode 100644 index 00000000000..7c412e2ea5d Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/mikoslides.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/problem/README b/Master/texmf-dist/doc/latex/stex/problem/README new file mode 100644 index 00000000000..6b72fdc32a8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/problem/README @@ -0,0 +1,10 @@ +problem.sty: An Infrastructure for marking up Problems + +The problem package supplies an infrastructure that allows mark up problems and to reuse +them efficiently in multiple environments. + +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 +https://svn.kwarc.info/repos/stex/sty/problem/ diff --git a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf new file mode 100644 index 00000000000..27a7c6a30c2 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/stex.pdf b/Master/texmf-dist/doc/latex/stex/stex.pdf new file mode 100644 index 00000000000..8e8b19b4844 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/stex.pdf differ -- cgit v1.2.3