From 849996eca72af498b48b10fbea7f14c4b9d21b8f Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Fri, 30 Mar 2012 23:23:02 +0000 Subject: restore stex (ca. 28jan12) git-svn-id: svn://tug.org/texlive/trunk@25792 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/stex/README | 13 ++ Master/texmf-dist/doc/latex/stex/cmath/README | 12 ++ Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf | Bin 0 -> 331122 bytes Master/texmf-dist/doc/latex/stex/cmathml/README | 13 ++ .../texmf-dist/doc/latex/stex/cmathml/cmathml.pdf | Bin 0 -> 456477 bytes Master/texmf-dist/doc/latex/stex/cnx/README | 13 ++ Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf | Bin 0 -> 341640 bytes Master/texmf-dist/doc/latex/stex/dcm/README | 14 ++ Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf | Bin 0 -> 254733 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.omdoc | 155 +++++++++++++++ .../doc/latex/stex/example/background/all.tex | 12 ++ .../latex/stex/example/background/functions.omdoc | 215 +++++++++++++++++++++ .../latex/stex/example/background/functions.sms | 13 ++ .../latex/stex/example/background/functions.tex | 22 +++ .../doc/latex/stex/example/background/post.tex | 1 + .../doc/latex/stex/example/background/pre.tex | 8 + .../doc/latex/stex/example/background/reals.omdoc | 67 +++++++ .../doc/latex/stex/example/background/reals.sms | 5 + .../doc/latex/stex/example/background/reals.tex | 20 ++ .../doc/latex/stex/example/paper/Makefile | 7 + .../doc/latex/stex/example/paper/continuous.omdoc | 53 +++++ .../doc/latex/stex/example/paper/continuous.sms | 6 + .../doc/latex/stex/example/paper/continuous.tex | 20 ++ .../latex/stex/example/paper/differentiable.omdoc | 48 +++++ .../latex/stex/example/paper/differentiable.sms | 5 + .../latex/stex/example/paper/differentiable.tex | 16 ++ .../doc/latex/stex/example/paper/intro.omdoc | 145 ++++++++++++++ .../doc/latex/stex/example/paper/intro.sms | 2 + .../doc/latex/stex/example/paper/intro.tex | 96 +++++++++ .../doc/latex/stex/example/paper/paper.omdoc | 48 +++++ .../doc/latex/stex/example/paper/paper.pdf | Bin 0 -> 161414 bytes .../doc/latex/stex/example/paper/paper.tex | 149 ++++++++++++++ .../doc/latex/stex/example/test/Makefile | 7 + Master/texmf-dist/doc/latex/stex/hwexam/README | 12 ++ Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf | Bin 0 -> 323201 bytes Master/texmf-dist/doc/latex/stex/metakeys/README | 11 ++ .../doc/latex/stex/metakeys/metakeys.pdf | Bin 0 -> 299544 bytes Master/texmf-dist/doc/latex/stex/mikoslides/README | 11 ++ .../doc/latex/stex/mikoslides/mikoslides.pdf | Bin 0 -> 298324 bytes Master/texmf-dist/doc/latex/stex/modules/README | 21 ++ .../texmf-dist/doc/latex/stex/modules/modules.pdf | Bin 0 -> 472622 bytes Master/texmf-dist/doc/latex/stex/omdoc/README | 12 ++ Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf | Bin 0 -> 328731 bytes Master/texmf-dist/doc/latex/stex/omtext/README | 12 ++ Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf | Bin 0 -> 338774 bytes .../texmf-dist/doc/latex/stex/presentation/README | 16 ++ .../doc/latex/stex/presentation/presentation.pdf | Bin 0 -> 409360 bytes Master/texmf-dist/doc/latex/stex/problem/README | 10 + .../texmf-dist/doc/latex/stex/problem/problem.pdf | Bin 0 -> 280208 bytes Master/texmf-dist/doc/latex/stex/rdfmeta/README | 11 ++ .../doc/latex/stex/rdfmeta/certification.pdf | Bin 0 -> 45243 bytes .../doc/latex/stex/rdfmeta/certification.tex | 26 +++ .../texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf | Bin 0 -> 333948 bytes Master/texmf-dist/doc/latex/stex/reqdoc/README | 12 ++ Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf | Bin 0 -> 287460 bytes .../doc/latex/stex/reqdoc/requirements.pdf | Bin 0 -> 110091 bytes .../doc/latex/stex/reqdoc/requirements.tex | 136 +++++++++++++ Master/texmf-dist/doc/latex/stex/sproof/README | 11 ++ Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf | Bin 0 -> 352384 bytes Master/texmf-dist/doc/latex/stex/sref/README | 10 + Master/texmf-dist/doc/latex/stex/sref/book.pdf | Bin 0 -> 95620 bytes Master/texmf-dist/doc/latex/stex/sref/book.tex | 18 ++ Master/texmf-dist/doc/latex/stex/sref/idc.pdf | Bin 0 -> 61066 bytes Master/texmf-dist/doc/latex/stex/sref/idc.tex | 21 ++ Master/texmf-dist/doc/latex/stex/sref/idcmain.tex | 23 +++ Master/texmf-dist/doc/latex/stex/sref/scr.pdf | Bin 0 -> 71483 bytes Master/texmf-dist/doc/latex/stex/sref/scr.tex | 20 ++ Master/texmf-dist/doc/latex/stex/sref/scrmain.tex | 23 +++ Master/texmf-dist/doc/latex/stex/sref/sref.pdf | Bin 0 -> 335386 bytes Master/texmf-dist/doc/latex/stex/statements/README | 10 + .../doc/latex/stex/statements/statements.pdf | Bin 0 -> 401367 bytes Master/texmf-dist/doc/latex/stex/stex.pdf | Bin 0 -> 350237 bytes .../texmf-dist/doc/latex/stex/workaddress/README | 12 ++ .../doc/latex/stex/workaddress/workaddress.pdf | Bin 0 -> 296989 bytes 77 files changed, 1653 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/stex/README create mode 100644 Master/texmf-dist/doc/latex/stex/cmath/README create mode 100644 Master/texmf-dist/doc/latex/stex/cmath/cmath.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/dcm/README create mode 100644 Master/texmf-dist/doc/latex/stex/dcm/dcm.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.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/all.tex 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.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/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.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/background/reals.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/Makefile 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.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/differentiable.omdoc 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/intro.omdoc create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/intro.sms create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/intro.tex 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.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/example/paper/paper.tex create mode 100644 Master/texmf-dist/doc/latex/stex/example/test/Makefile create mode 100644 Master/texmf-dist/doc/latex/stex/hwexam/README create mode 100644 Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/metakeys/README create mode 100644 Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides/README create mode 100644 Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/modules/README create mode 100644 Master/texmf-dist/doc/latex/stex/modules/modules.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/omdoc/README create mode 100644 Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/omtext/README create mode 100644 Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/presentation/README create mode 100644 Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/problem/README create mode 100644 Master/texmf-dist/doc/latex/stex/problem/problem.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/rdfmeta/README create mode 100644 Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex create mode 100644 Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/README create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sproof/README create mode 100644 Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/README create mode 100644 Master/texmf-dist/doc/latex/stex/sref/book.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/book.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/idc.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/idc.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/idcmain.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/scr.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/sref/scr.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/scrmain.tex create mode 100644 Master/texmf-dist/doc/latex/stex/sref/sref.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/statements/README create mode 100644 Master/texmf-dist/doc/latex/stex/statements/statements.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/stex.pdf create mode 100644 Master/texmf-dist/doc/latex/stex/workaddress/README create mode 100644 Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf (limited to 'Master/texmf-dist/doc') diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README new file mode 100644 index 00000000000..ada6fff6096 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/README @@ -0,0 +1,13 @@ +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) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version of this +package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it +is useful to include selected subdirectories of this as SVN externals. diff --git a/Master/texmf-dist/doc/latex/stex/cmath/README b/Master/texmf-dist/doc/latex/stex/cmath/README new file mode 100644 index 00000000000..350b674d572 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/cmath/README @@ -0,0 +1,12 @@ +cmath.sty: An Infrastructure for Building Inline Content Math in sTeX + +This package supplies an infrastructure that allows to specify to build inline content math +structures as strict content MathML or OpenMath objects. + +Copyright (c) 2011 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation + diff --git a/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf b/Master/texmf-dist/doc/latex/stex/cmath/cmath.pdf new file mode 100644 index 00000000000..f4b9ba77b08 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/cmath/cmath.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..9bd3dcd750a 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..0746400edab 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/dcm/README b/Master/texmf-dist/doc/latex/stex/dcm/README new file mode 100644 index 00000000000..d2bc0ddac9c --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/dcm/README @@ -0,0 +1,14 @@ +dcm.sty: An Infrastructure for marking up Dublin Core Metadata in LaTeX documents + +The dcm packge allows mark up Dublin Core Metadata in LaTeX documents that can be +harvested by automated tools or exported to PDF. + +The file dcmi.tex is an sTeX ontology file for the DCM relations. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/dcm + diff --git a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf new file mode 100644 index 00000000000..67d7607ec09 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/example/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.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc new file mode 100644 index 00000000000..af660821194 --- /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.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/functions.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc new file mode 100644 index 00000000000..68f4ab80859 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc @@ -0,0 +1,215 @@ + + + + + + Functions + + + + + + + + + + + + + + + ( + + + × + + + + ) + + + + + + + + + + + + + + + + ( + + : + + + + ) + + + + + + + + + + + + + + + ( + + + + ) + + + + + + + + + + + + + + + + + + + + + + + ( + + + + ) + + + + + + + + + + + + + + + + + + + + + + + + + + + ( + + + × + + + + ) + + + + + + + + + + \ + + + + + + + + + + + + + ( + + \ + + ) + + + + + + + + + + + + + + + + ( + { + + + , + + + + } + ) + + + + + + + + + + + + + + + ( + { + + + + } + ) + + + + + + +

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

+
+
+
+
+
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..ee824b72754 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.sms @@ -0,0 +1,13 @@ +\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}}% +\symdef[name=sseteq]{sseteqOp}{\subseteq} % +\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}} % +\symdef{tup}[1]{\langle#1\rangle}% +\symdef{cart}[1]{\assoc\times{#1}}% +\symdef[name=setdiff]{setdiffOp}{\backslash}% +\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}} % +\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},}% +\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#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..d4ac497685f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.tex @@ -0,0 +1,22 @@ +\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}} +\symdef[name=sseteq]{sseteqOp}{\subseteq} +\symdef{sseteq}[2]{\infix[p=300]\sseteqOp{#1}{#2}} +\symdef{tup}[1]{\langle#1\rangle} +\symdef{cart}[1]{\assoc\times{#1}} +\symdef[name=setdiff]{setdiffOp}{\backslash} +\symdef{setdiff}[2]{\mixfixii[p=600]{}{#1}\setdiffOp{#2}{}} +\symdef[assocarg=1]{set}[1]{\mixfixa[nobrackets]{\{}{#1}{\}},} +\symdef{setst}[2]{\mixfixii[nobrackets]{\{}{#1}{\,\mid\,}{#2}{\}}} +\begin{definition}[id=functions.def] + A {\defi{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/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..59f9473ea44 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/pre.tex @@ -0,0 +1,8 @@ +\documentclass{omdoc} +\usepackage{stex,amssymb,lststex} +\usepackage{hyperref} +\def\omdoc{OMDoc} +\def\latexml{LaTeXML} +\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..388eeb1a08f --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc @@ -0,0 +1,67 @@ + + + + + + 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.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..9bcba08ab82 --- /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 {\defii{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/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/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc new file mode 100644 index 00000000000..19c248a26dd --- /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 . It is called +continuous oncontinuouson a set , iff is is continous at all +, the set of all such functions is denoted with , +if .

+
+
+
+
+
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..96a8edd9123 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.tex @@ -0,0 +1,20 @@ +\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}[for=continuousfunctions] + A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defi{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$. It is called + {\defii{continuous}{on}} a set $\sseteq{S}\RealNumbers$, iff is is continous at all + $\inset{x}S$, the set of all such functions is denoted with $\continuousfunctions{S}T$, + if $\sseteq{f(S)}T$. +\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.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc new file mode 100644 index 00000000000..72cd7588bfd --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc @@ -0,0 +1,48 @@ + + + + + + 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.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..fca1c7fe252 --- /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 {\defi{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/intro.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc new file mode 100644 index 00000000000..a4fe8c85f96 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.omdoc @@ -0,0 +1,145 @@ + + + + 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 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 and +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:

+ +
    + +
  1. + +
    +

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

    +
    + +
  2. + +
  3. + +
    +

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

    +
    + +
  4. + +
  5. + +
    +

    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.

    +
    + +
  6. + +
+
+

This will have consequences for the automation. Concretely, the module on +differentiable functions in depends on that for continuous +functions in . 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:

+
+ +
+

The variable STEXDIR}} has to be set to the main directory of thesTeX +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, thebackground directory for convenience. The +MODSLIBDIR}} specifies the location of the prefix and postfix filespre.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 theBUTFILE}} variable is set topre.tex and +post.tex, so that they are not converted. In the directory +background we have followed good practice by establishing a phony

+
+
+
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms b/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms new file mode 100644 index 00000000000..156422aefd8 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.sms @@ -0,0 +1,2 @@ + \begin{module}[id=setup]% +\end{module}% diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex b/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex new file mode 100644 index 00000000000..8faed56d132 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/intro.tex @@ -0,0 +1,96 @@ +\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 {\defi{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 {\defi{module}s}, since they may + be used (i.e. included) by other target documents as well. + \end{definition} + + \begin{omtext} + 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} + \end{omtext} + + \begin{omtext} + 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 {\defii{background}{module}s}}. In our setup we + keep them in the subdirectory {\texttt{background}}. + \end{omtext} +\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} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "paper" +%%% End: 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..abb6db85073 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc @@ -0,0 +1,48 @@ + + + +
+

+
+Mathematical ContentCalculus +
+

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

+
+
A Theory Graph for Elementary Algebra +
+

Here we show an example for more advanced theory graph manipulations, in particular +imports via morphisms. +

+
+G() +

A magmamagma is a structure , such that is +closed under the operation .

+
+

A magma, is called a semigroupsemigroup, iff + is associative.

+
e* +

A monoidmonoid is a structure , such that + is a semigroup and is a +neutral elementneutralelement, i.e. that for all .

+
+

In a monoid , we use denote the set + with .

+
ii() +

A groupgroup is a structure , such that + is a monoid and acts as +a inverseinverse, i.e. that for all +.

+
+

We call a group a +commutative groupcommutativegroup, iff is commutative.

+
R()1rbasertimesOprone+(+)0--()rplusrzerorminusOp +

A ringring is a structure , +such that is a monoid and + is a commutative group.

+
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.pdf b/Master/texmf-dist/doc/latex/stex/example/paper/paper.pdf new file mode 100644 index 00000000000..b850db63b87 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..5451a828f20 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.tex @@ -0,0 +1,149 @@ +\documentclass{omdoc} +\usepackage[showmods]{stex} +\usepackage{amssymb} +\usepackage{alltt} +\usepackage{hyperref} +\usepackage{listings} +\def\omdoc{OMDoc} +\def\latexml{LaTeXML} +\defpath{backmods}{../background} +%% defining the author metadata +\WAperson[id=miko, + affiliation=JUB, + url=http://kwarc.info/kohlhase] + {Michael Kohlhase} +\WAinstitution[id=JUB, + url=http://jacobs-university.de, + streetaddress={Campus Ring 1}, + townzip={28759 Bremen}, + countryshort=D, + country=Germany, + type=University, + acronym=JACU, + shortname=Jacobs Univ.] + {Jacobs University Bremen} + +\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} + +\inputref{intro} + +\begin{omgroup}[id=sec.math]{Mathematical Content} + \begin{omgroup}{Calculus} + We present some standard mathematical definitions, here from calculus. + \inputref{continuous} + \inputref{differentiable} +\end{omgroup} + +\begin{omgroup}[id=sec.math]{A Theory Graph for Elementary Algebra} + Here we show an example for more advanced theory graph manipulations, in particular + imports via morphisms. + +\begin{module}[id=magma] + \importmodule[\backmods{functions}]{functions} + \symdef{magbase}{G} + \symdef[name=magmaop]{magmaopOp}{\circ} + \symdef{magmaop}[2]{\infix\magmaopOp{#1}{#2}} + \begin{definition}[id=magma.def] + A \defi{magma} is a structure $\tup{\magbase,\magmaopOp}$, such that $\magbase$ is + closed under the operation $\fun\magmaopOp{\cart{\magbase,\magbase}}\magbase$. + \end{definition} +\end{module} + +\begin{module}[id=semigroup] + \importmodule{magma} + \begin{definition}[id=semigroup.def] + A \trefi[magma]{magma} $\tup{\magbase,\magmaopOp}$, is called a \defi{semigroup}, iff + $\magmaopOp$ is associative. + \end{definition} +\end{module} + +\begin{module}[id=monoid] + \importmodule{semigroup} + \symdef{monneut}{e} + \symdef{noneut}[1]{#1^*} + \begin{definition}[id=monoid.def] + A \defi{monoid} is a structure $\tup{\magbase,\magmaopOp,\monneut}$, such that + $\tup{\magbase,\magmaopOp}$ is a \trefi[semigroup]{semigroup} and $\monneut$ is a + \defii{neutral}{element}, i.e. that $\magmaop{x}\monneut=x$ for all $\inset{x}\magbase$. + \end{definition} + + \begin{definition}[id=noneut.def] + In a monoid $\tup{\magbase,\magmaopOp,\monneut}$, we use denote the set + $\setst{\inset{x}S}{x\ne\monneut}$ with $\noneut{S}$. + \end{definition} +\end{module} + +\begin{module}[id=group] + \importmodule{monoid} + \symdef{ginvOp}{i} + \symdef{ginv}[1]{\prefix\ginvOp{#1}} + \begin{definition}[id=group.def] + A \defi{group} is a structure $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$, such that + $\tup{\magbase,\magmaopOp,\monneut}$ is a \trefi[monoid]{monoid} and $\ginvOp$ acts as + a \defi{inverse}, i.e. that $\magmaop{x}{\ginv{x}}=\monneut$ for all + $\inset{x}\magbase$. + \end{definition} +\end{module} + +\begin{module}[id=cgroup] +\importmodule{group} +\begin{definition}[id=cgroup.def] + We call a \trefi[group]{group} $\tup{\magbase,\magmaopOp,\monneut,\ginvOp}$ a + \defii{commutative}{group}, iff $\magmaopOp$ is commutative. +\end{definition} +\end{module} + +\begin{module}[id=ring] +\symdef{rbase}{R} +\symdef[name=rtimes]{rtimesOp}{\cdot} +\symdef{rtimes}[2]{\infix\rtimesOp{#1}{#2}} +\symdef{rone}{1} +\begin{importmodulevia}{monoid} + \vassign{rbase}\magbase + \vassign{rtimesOp}\magmaopOp + \vassign{rone}\monneut +\end{importmodulevia} +\symdef[name=rplus]{rplusOp}{+} +\symdef{rplus}[2]{\infix\rplusOp{#1}{#2}} +\symdef{rzero}{0} +\symdef[name=rminus]{rminusOp}{-} +\symdef{rminus}[1]{\prefix\rminusOp{#1}} +\begin{importmodulevia}{cgroup} + \vassign{rplus}\magmaopOp + \vassign{rzero}\monneut + \vassign{rminusOp}\ginvOp +\end{importmodulevia} +\begin{definition} + A \defi{ring} is a structure $\tup{\rbase,\rplusOp,\rzero,\rtimesOp,\rone,\rminusOp}$, + such that $\tup{\noneut\rbase,\rtimesOp,\rone}$ is a monoid and + $\tup{\rbase,\rplusOp,\rzero,\rminusOp}$ is a commutative group. +\end{definition} +\end{module} +\end{omgroup} +\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/test/Makefile b/Master/texmf-dist/doc/latex/stex/example/test/Makefile new file mode 100644 index 00000000000..3634c7ddcff --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/example/test/Makefile @@ -0,0 +1,7 @@ +STEXDIR = ../.. +TARGET = glotest.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/hwexam/README b/Master/texmf-dist/doc/latex/stex/hwexam/README new file mode 100644 index 00000000000..cebd165fa19 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/hwexam/README @@ -0,0 +1,12 @@ +hwexam.sty: An Infrastructure for marking up Homework Assignment Sheets and Exams + +The hwexam packge allows individual course assignment sheets and compond +assignment documents using problem files marked up with the problem package. + +Copyright (c) 2010 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/hwexam + diff --git a/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf new file mode 100644 index 00000000000..767ab735c4f Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/README b/Master/texmf-dist/doc/latex/stex/metakeys/README new file mode 100644 index 00000000000..56c6eea13b2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/metakeys/README @@ -0,0 +1,11 @@ +omd.sty: A generic framework for extensible Metadata in LaTeX + +The omd packge supplies the infrastructure for extending sTeX macros with ontology-based +metadata. This is a package primarily aimed at authors of sTeX extensions. + +Copyright (c) 2009 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/metakeys diff --git a/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf new file mode 100644 index 00000000000..7d6de432ea0 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/metakeys/metakeys.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/README b/Master/texmf-dist/doc/latex/stex/mikoslides/README new file mode 100644 index 00000000000..822e74a199a --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README @@ -0,0 +1,11 @@ +mikoslides.cls: A Document class for Semantic Slides + +The mikoslides class provides a practical basis for marking up slides semantically in sTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/mikoslides + diff --git a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf new file mode 100644 index 00000000000..39e6935573f Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/modules/README b/Master/texmf-dist/doc/latex/stex/modules/README new file mode 100644 index 00000000000..bc64ed35416 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/modules/README @@ -0,0 +1,21 @@ +modules.sty: An Infrastructure for Semantic Macros and Module Scoping + +The modules package supplies an infrastructure that allows mark up semantic macros +and to reuse them efficiently in multiple environments. + +This packge is a central part of the sTeX collection, a version of TeX/LaTeX that allows +to markup TeX/LaTeX documents semantically without leaving the document format, +essentially turning it into a document format for mathematical knowledge management +(MKM). + +This package supplies a definition mechanism for semantic macros and a non-standard +scoping construct for them, which is oriented at the semantic depency relation rather +than the document structure. This structure can be used by MKM systems for +added-value services, either directly from the sTeX sources, or after translation. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/modules diff --git a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf new file mode 100644 index 00000000000..7293781d655 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README new file mode 100644 index 00000000000..2a5111f8d38 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/omdoc/README @@ -0,0 +1,12 @@ +omdoc.cls: A LaTeX Class for OMDoc Documents +omdoc.sty: A LaTeX Package for OMDoc Document structures + +This package and class supplies a the infrastructure for writing OMDoc documents +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/omdoc + diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf new file mode 100644 index 00000000000..614932300a4 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/omtext/README b/Master/texmf-dist/doc/latex/stex/omtext/README new file mode 100644 index 00000000000..579f02789b3 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/omtext/README @@ -0,0 +1,12 @@ +omtext.sty: A LaTeX Package for OMDoc Text environments + +This package supplies a the infrastructure for writing OMDoc text fragments. +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2010 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/omtext + diff --git a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf new file mode 100644 index 00000000000..45919bf27ea Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/presentation/README b/Master/texmf-dist/doc/latex/stex/presentation/README new file mode 100644 index 00000000000..6fd953f20d1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/presentation/README @@ -0,0 +1,16 @@ +presentation.sty: An Infrastructure for Presenting Semantic Macros + +This package supplies an infrastructure that allows to specify the presentation of +semantic macros, including preference-based bracket elision. This allows to markup the +functional structure of mathematical formulae without having to lose high-quality +human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by +MKM systems for added-value services, either directly from the {\sTeX} sources, or after +translation. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/presentation + diff --git a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf new file mode 100644 index 00000000000..2825ea285b1 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/problem/README b/Master/texmf-dist/doc/latex/stex/problem/README new file mode 100644 index 00000000000..77b9314109e --- /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) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/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..1fe8cadc1c2 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/rdfmeta/README b/Master/texmf-dist/doc/latex/stex/rdfmeta/README new file mode 100644 index 00000000000..0e113125f72 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/README @@ -0,0 +1,11 @@ +rdfmeta.sty: An Infrastructure for RDFa metadata in arbitrary {\LaTeX} documents + +The rdfmeta packge allows mark up Ontology-based Metadata in LaTeX documents that can be +harvested by automated tools or exported to PDF. + +Copyright (c) 2010 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc/rdfmeta + diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf new file mode 100644 index 00000000000..b6562066e13 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex new file mode 100644 index 00000000000..5e4582833af --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/rdfmeta/certification.tex @@ -0,0 +1,26 @@ +\documentclass{omdoc} +\usepackage{stex,rdfmeta,amstext} +\begin{document} +\begin{module}[id=certification] +% \metalanguage[../owl2onto/owl2]{OWL2} + \keydef{omtext}{hasState} + \keydef{omgroup}{hasState} + \symdef{hasState}{\text{hasState}} + \symdef{statedocrd}[1]{rd. #1} + \symdef{tuev}{\text{T\"UV}} + \begin{omgroup}[id=foo,hasState=test]{Definitions} + \begin{definition}[for=hasState] + A document {\definiendum[hasState]{has state}} $x$, iff + the project manager decrees it so. + \end{definition} + \begin{definition}[for=statedocrd,hasState=$\statedocrd\tuev$] + A document has state \definiendum[statedocrd]{rd. $x$}, + iff it has been submitted to $x$ for certification. + \end{definition} + \begin{definition}[for=tuev,hasState=$\statedocrd\tuev$] + The $\tuev$ (Technischer \"Uberwachungs Verein) is a national + certification agency in Germany. + \end{definition} +\end{omgroup} +\end{module} +\end{document} diff --git a/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf new file mode 100644 index 00000000000..b99a36071f2 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/rdfmeta/rdfmeta.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README new file mode 100644 index 00000000000..adc3131dbbd --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README @@ -0,0 +1,12 @@ +reqdoc.sty: Semantic Markup for Requirement Specification Documents + +This package supplies a the infrastructure for writing requirement +specification documents with embedded semantic markup, and to generate +XML-based documents from them via the LaTeXML system. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the +LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/reqdoc diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf new file mode 100644 index 00000000000..1aa4d8127f0 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf new file mode 100644 index 00000000000..e3edea34302 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex new file mode 100644 index 00000000000..0288bfdd402 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.tex @@ -0,0 +1,136 @@ +\documentclass[twoside]{omdoc} +\usepackage{stex} +\usepackage[recorddeps]{reqdoc} +\usepackage{VMeta} +\usepackage[pdftex, colorlinks=true, linkcolor=blue, citecolor=blue, filecolor=blue, pagecolor=blue, urlcolor=blue, pdftitle=V 1.0, pdfauthor=Administrator, pdfsubject=, pdfkeywords=20.10.97]{hyperref} + + +\WAperson[id=jdoe,affiliation=dfki,department=skss, + url=http://dfki.de/jdoe] + {John Doe} +\WAperson[id=miko,affiliation=jacu,department=case, + url=http://kwarc.info/kohlhase] + {Michael Kohlhase} +\WAinstitution[id=case,acronym=CASE,shortname=Center for Adv. Sys. Engineering, + url=http://jacobs-university.de/ses/case,partof=jacu] + {Center for Advanced Systems Engineering} +\WAinstitution[id=jacu,url=http://jacobs-university.de] + {Jacobs University Bremen} +\WAinstitution[id=skss,url=http://dfki.de/sks,partof=dfki,shortname=Safe\&Secure Cognitive +Systems,acronym=SKS] + {Safe and Secure Cognitive Systems} +\WAinstitution[id=dfki,url=http://dfki.de,shortname=DFKI,acronym=DFKI] + {German Research Center for Artificial Intelligence} +\begin{document} +\svnInfo $Id: requirements.tex 1968 2012-01-03 07:56:56Z kohlhase $ +\svnKeyword $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/requirements.tex $ +\begin{DCmetadata}[maketitle] + \DCMtitle{Requirements for Semantic Requirements Documents} + \DCMcreators{miko,jdoe} + \DCMdate{\today} + \DCMabstract{An example of a requirements document marked up with the {\texttt{reqdoc}} + and {\texttt{VMeta}} from {\stex}} + \VMversion{1.5} + \VMdocstate{current} + \VMcreated{28.01.2008} + \VMresponsible{miko} +\end{DCmetadata} + +\begin{VMchangelist} + \begin{VMchange}{07.02.08}{1.0}{miko} + made initiale version 1.0 (empty skeleton file) + \end{VMchange} + \begin{VMchange}{07.03.08}{1.1}{miko} + added two requirements + \end{VMchange} + \begin{VMchange}{12.05.08}{1.2}{miko} + simplified some formulations + \end{VMchange} + \begin{VMchange}{17.05.08}{1.3}{miko} + added third requirement that depends on the first two. + \end{VMchange} +\end{VMchangelist} + +\begin{VMcertification} + \begin{VMcertified}{12.02.08}{1.1}{miko}{needs work} + some formulations still unclear, but correct in principle + \end{VMcertified} + \begin{VMcertified}{15.05.08}{1.2}{jdoe}{at DFKI} + may need another requirement. + \end{VMcertified} + \begin{VMcertified}{19.02.08}{1.3}{jdoe}{at DFKI} + certified: this is what DFKI wants. + \end{VMcertified} +\end{VMcertification} +\clearpage + +\begin{omgroup}{Introduction} +\begin{omtext} +In this document we show how to use the {\texttt{reqdoc}} package, unfortauntely, the +requirements themselves are quite phony, since they are only for introductory purposes. +\end{omtext} +\end{omgroup} + + +\begin{module}[id=user-general-reqs] +\importmodule[cds/background]{background} + +\begin{omgroup}{Some Requirements} + +\begin{requirements}[numbering=yes,prefix=U] + \begin{requirement}[id=acceptdata,prio=2] + {Accept {\termref[cd=background,name=data]{data}} from heterogeneous + {\termref[cd=background,name=source]{data sources}}} + \reqnote{in particular: $\data$} + \end{requirement} + + \begin{requirement}[id=reftest,prio=1] + {do something with the data to test the reference} + \reqnote{not really, this is just a test} + \end{requirement} + + \begin{requirement}[id=areftest,prio=1,refs={acceptdata,reftest}] + {do something with the data to test the reference} + \reqnote{not really, this is just a test} + \end{requirement} +\end{requirements} +\end{omgroup} + +\begin{omgroup}{Requirements as tables} + +\begin{omtext} + We can also format requirements as tables +\end{omtext} + +\begin{reqtable}[prefix=U] + \reqline[id=tabacceptdata,prio=2] + {Accept {\termref[cd=background,name=data]{data}} from heterogeneous + {\termref[cd=background,name=source]{data sources}}} + {in particular: $\data$} + + \reqline[id=tabreftest,prio=1] + {do something with the data to test the reference + + do something with the data to test the reference} + {not really, this is just a test} + + \reqline[id=tabareftest,prio=1,refs={tabacceptdata,tabreftest}] + {do something with the data to test the reference} + {not really, this is just a test} +\end{reqtable} +\end{omgroup} +\end{module} + +\begin{omgroup}{Conclusion} + \begin{omtext} + See, it was quite simple + \end{omtext} +\end{omgroup} +\end{document} +\input{rest} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: + diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README new file mode 100644 index 00000000000..0b2a9844ec0 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sproof/README @@ -0,0 +1,11 @@ +sproof.sty: An Infrastructure for Structural Markup for Proofs + +This package supplies macros and environment that allow to annotate the structure of +mathematical proofs. This structure can be used by MKM systems for added-value services, +either directly from the sTeX sources, or after translation via the LaTeXML system. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sproof diff --git a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf new file mode 100644 index 00000000000..fa048efe2f9 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/README b/Master/texmf-dist/doc/latex/stex/sref/README new file mode 100644 index 00000000000..457691747cd --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/README @@ -0,0 +1,10 @@ +sref.sty: A LaTeX Package for semantic crossreferences + +This package and class supplies a the infrastructure for crossreferencing across multiple files + +Copyright (c) 2009 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/sref + diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.pdf b/Master/texmf-dist/doc/latex/stex/sref/book.pdf new file mode 100644 index 00000000000..e370c68d861 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/book.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/book.tex b/Master/texmf-dist/doc/latex/stex/sref/book.tex new file mode 100644 index 00000000000..f2f6d5d0c0d --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/book.tex @@ -0,0 +1,18 @@ +\documentclass{book} +\usepackage{omtext,omdoc} +\title{Advanced Crossreferencing in {\LaTeX}} +\author{Elder Researcher (ed.)} +\usepackage{hyperref} +\begin{document} +\maketitle +\tableofcontents +\newpage +\chapter{Semantic Crossreferencing (Jane Doe, ...)} +\input{idcmain}\newpage +\chapter{Inter-Document Crossreferencing (John Bull, ...)} +\input{scrmain} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf new file mode 100644 index 00000000000..8d6f66392cb Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.tex b/Master/texmf-dist/doc/latex/stex/sref/idc.tex new file mode 100644 index 00000000000..f85a3413758 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/idc.tex @@ -0,0 +1,21 @@ +\documentclass[extrefs]{omdoc} +\usepackage{omtext} +\makeextrefs{idc} +\inputrefs{scr}{scr} +\extrefstyle{scr}{\cite[\protect{\theextref}]{scrcit}} +\title{Inter-Document Crossreferencing} +\author{John Bull} +\usepackage{hyperref} +\begin{document} +\maketitle\newpage +\input{idcmain}\newpage +\begin{thebibliography}{SCR} +\bibitem[SCR]{scrcit} +Jane Doe\newblock \href{scr.pdf}{Semantic Crossreferencing}\newblock Personal communication. +\end{thebibliography} +\end{document} + +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex new file mode 100644 index 00000000000..7afdfcaaaef --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/idcmain.tex @@ -0,0 +1,23 @@ +\begin{omgroup}[id=mcr]{Making Crossreferences} +\begin{omtext} + in the omgroup +\end{omtext} +\end{omgroup} +\newpage +\begin{omgroup}[id=rad]{Referencing across Documents} + Now, we test the referencing mechanism + \begin{omtext}[title=Internal Referencing] + First single refrences: \sref{mcr} (on page \spageref{mcr}) and \sref{rad} (on page + \spageref{rad}), and then compound ones: \srefs{mcr}{rad} +\end{omtext} + +\begin{omtext}[title=External Referencing] + First single references: \extref{scr}{setup} (on page \extpageref{scr}{setup}) and + \extref{src}{testing} (on page \extpageref{src}{testing}) +% external referencing two: \extrefs{tast}{foo}{bar} +\end{omtext} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "idc" +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf new file mode 100644 index 00000000000..58bf11840fc Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.tex b/Master/texmf-dist/doc/latex/stex/sref/scr.tex new file mode 100644 index 00000000000..16b35003027 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/scr.tex @@ -0,0 +1,20 @@ +\documentclass[extrefs]{omdoc} +\usepackage{omtext} +\makeextrefs{scr} +\inputrefs{idc}{idc} +\extrefstyle{idc}{\cite[\protect{\theextref}]{idccit}} +\title{Semantic Crossreferencing} +\author{Jane Doe} +\usepackage{hyperref} +\begin{document} +\maketitle +\input{scrmain} +\begin{thebibliography}{IDC} +\bibitem[IDC]{idccit} +John Bull\newblock \href{scr.pdf}{Inter-Document Crossreferencing}\newblock Personal communication +\end{thebibliography} +\end{document} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: t +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex b/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex new file mode 100644 index 00000000000..044810a103b --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/sref/scrmain.tex @@ -0,0 +1,23 @@ +\begin{omgroup}[id=setup]{Setting up Semantic References} +\begin{omtext}[title=In a nutshell] + How to set up semantic references? Easy, just use the \texttt{omgroup} environment from + the \texttt{omdoc} package. +\end{omtext} +\end{omgroup} +\newpage +\begin{omgroup}[id=testing]{Testing the References} +Now, we test the referencing mechanism +\begin{omtext}[title=Internal Referencing] + First single refrences: \sref{setup} and \sref{testing}, and then compound ones: + \srefs{setup}{testing} +\end{omtext} + +\begin{omtext}[title=External Referencing] + First single references: \extref{idc}{mcr} and \extref{idc}{rad} +% external referencing two: \extrefs{tast}{foo}{bar} +\end{omtext} +\end{omgroup} +%%% Local Variables: +%%% mode: LaTeX +%%% TeX-master: "scr" +%%% End: diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf new file mode 100644 index 00000000000..961abc7cbab Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf differ diff --git a/Master/texmf-dist/doc/latex/stex/statements/README b/Master/texmf-dist/doc/latex/stex/statements/README new file mode 100644 index 00000000000..fe5c2dbbe9c --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/statements/README @@ -0,0 +1,10 @@ +statements.sty: A LaTeX Package for mathematical Statements + +This package and class supplies a the infrastructure for writing OMDoc statements +(see http://www.omdoc.org) in LaTeX. + +Copyright (c) 2008 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at https://svn.kwarc.info/repos/stex/trunk/sty/stex/ diff --git a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf new file mode 100644 index 00000000000..193da815504 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/statements/statements.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 diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/README b/Master/texmf-dist/doc/latex/stex/workaddress/README new file mode 100644 index 00000000000..5a0ebfe9fb4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/workaddress/README @@ -0,0 +1,12 @@ +workaddress.sty: An Infrastructure for marking up Affiliation Metadata in LaTeX documents + +The workaddress packge allows Affiliation and Address Metadata in LaTeX documents that can be +harvested by automated tools or exported to PDF. + +Copyright (c) 2011 Michael Kohlhase +The package is distributed under the terms of the LaTeX Project Public License (LPPL) + +See http://trac.kwarc.info/sTeX for the project homepage, the development version +of this package can be found at +https://svn.kwarc.info/repos/stex/trunk/sty/stex/workaddress + diff --git a/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf new file mode 100644 index 00000000000..97cfdfc7402 Binary files /dev/null and b/Master/texmf-dist/doc/latex/stex/workaddress/workaddress.pdf differ -- cgit v1.2.3