From 70e387eb63ce4723858c48592208e193dec294f3 Mon Sep 17 00:00:00 2001
From: Karl Berry
Date: Fri, 12 Nov 2010 00:31:31 +0000
Subject: stex 0.9.3 (11nov10)
git-svn-id: svn://tug.org/texlive/trunk@20410 c570f23f-e606-0410-a88d-b1316a301751
---
Master/texmf-dist/doc/latex/stex/README | 4 +-
Master/texmf-dist/doc/latex/stex/assignment/README | 10 -
.../doc/latex/stex/assignment/assignment.pdf | Bin 258876 -> 0 bytes
.../texmf-dist/doc/latex/stex/cmathml/cmathml.pdf | Bin 501317 -> 449387 bytes
Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf | Bin 335346 -> 342228 bytes
Master/texmf-dist/doc/latex/stex/dcm/README | 7 +-
Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf | Bin 326217 -> 302878 bytes
.../doc/latex/stex/example/background/all.omdoc | 6 +-
.../latex/stex/example/background/functions.omdoc | 12 +-
.../doc/latex/stex/example/background/reals.omdoc | 6 +-
.../doc/latex/stex/example/paper/continuous.omdoc | 8 +-
.../latex/stex/example/paper/differentiable.omdoc | 8 +-
.../doc/latex/stex/example/paper/paper.omdoc | 236 +++++++--------------
Master/texmf-dist/doc/latex/stex/hwexam/README | 12 ++
Master/texmf-dist/doc/latex/stex/hwexam/hwexam.pdf | Bin 0 -> 323506 bytes
Master/texmf-dist/doc/latex/stex/metakeys/README | 11 +
.../doc/latex/stex/metakeys/metakeys.pdf | Bin 0 -> 281364 bytes
Master/texmf-dist/doc/latex/stex/mikoslides/README | 6 +-
.../doc/latex/stex/mikoslides/mikoslides.pdf | Bin 248126 -> 293762 bytes
Master/texmf-dist/doc/latex/stex/modules/README | 5 +-
.../texmf-dist/doc/latex/stex/modules/modules.pdf | Bin 527305 -> 462421 bytes
Master/texmf-dist/doc/latex/stex/omd/README | 11 -
Master/texmf-dist/doc/latex/stex/omd/omd.pdf | Bin 289059 -> 0 bytes
Master/texmf-dist/doc/latex/stex/omdoc/README | 5 +-
Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf | Bin 374399 -> 331026 bytes
Master/texmf-dist/doc/latex/stex/omtext/README | 6 +-
Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf | Bin 340041 -> 334344 bytes
.../texmf-dist/doc/latex/stex/presentation/README | 6 +-
.../doc/latex/stex/presentation/presentation.pdf | Bin 422504 -> 404933 bytes
Master/texmf-dist/doc/latex/stex/problem/README | 4 +-
.../texmf-dist/doc/latex/stex/problem/problem.pdf | Bin 271606 -> 278705 bytes
Master/texmf-dist/doc/latex/stex/reqdoc/README | 4 +-
Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf | Bin 308676 -> 287638 bytes
.../doc/latex/stex/reqdoc/requirements.pdf | Bin 123719 -> 113323 bytes
Master/texmf-dist/doc/latex/stex/sproof/README | 4 +-
Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf | Bin 348611 -> 350369 bytes
Master/texmf-dist/doc/latex/stex/sref/README | 4 +-
Master/texmf-dist/doc/latex/stex/sref/book.pdf | Bin 106736 -> 89718 bytes
Master/texmf-dist/doc/latex/stex/sref/idc.pdf | Bin 66599 -> 61341 bytes
Master/texmf-dist/doc/latex/stex/sref/scr.pdf | Bin 77776 -> 72075 bytes
Master/texmf-dist/doc/latex/stex/sref/sref.pdf | Bin 348527 -> 326248 bytes
Master/texmf-dist/doc/latex/stex/statements/README | 4 +-
.../doc/latex/stex/statements/statements.pdf | Bin 438283 -> 397686 bytes
43 files changed, 147 insertions(+), 232 deletions(-)
delete mode 100644 Master/texmf-dist/doc/latex/stex/assignment/README
delete mode 100644 Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf
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
delete mode 100644 Master/texmf-dist/doc/latex/stex/omd/README
delete mode 100644 Master/texmf-dist/doc/latex/stex/omd/omd.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
index 6aa73d031a4..1952eb98cee 100644
--- a/Master/texmf-dist/doc/latex/stex/README
+++ b/Master/texmf-dist/doc/latex/stex/README
@@ -8,5 +8,5 @@ essentially turning it into a document format for mathematical knowledge managem
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/
+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/assignment/README b/Master/texmf-dist/doc/latex/stex/assignment/README
deleted file mode 100644
index a62ceef0182..00000000000
--- a/Master/texmf-dist/doc/latex/stex/assignment/README
+++ /dev/null
@@ -1,10 +0,0 @@
-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
deleted file mode 100644
index ef791c28e01..00000000000
Binary files a/Master/texmf-dist/doc/latex/stex/assignment/assignment.pdf and /dev/null differ
diff --git a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf
index 7c18fa7fbcf..54bc14c8d06 100644
Binary files a/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf and b/Master/texmf-dist/doc/latex/stex/cmathml/cmathml.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf
index f1f1b6824a3..681044e8fdf 100644
Binary files a/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf and b/Master/texmf-dist/doc/latex/stex/cnx/cnx.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/dcm/README b/Master/texmf-dist/doc/latex/stex/dcm/README
index 82799533796..5fd3874b04a 100644
--- a/Master/texmf-dist/doc/latex/stex/dcm/README
+++ b/Master/texmf-dist/doc/latex/stex/dcm/README
@@ -6,6 +6,7 @@ harvested by automated tools or exported to PDF.
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/dcm/README $
-
+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
index e240c089652..e437276fac4 100644
Binary files a/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf and b/Master/texmf-dist/doc/latex/stex/dcm/dcm.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
index 45c2c612b05..af660821194 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/all.omdoc
@@ -24,7 +24,7 @@
(
- ×
+ ×
@@ -48,7 +48,7 @@
:
- →
+ →
)
@@ -67,7 +67,7 @@
(
- ∈
+ ∈
)
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
index 819908cf05d..4577907ced1 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/functions.omdoc
@@ -3,9 +3,7 @@
-
- Functions
-
+ Functions
@@ -23,7 +21,7 @@
(
- ×
+ ×
@@ -47,7 +45,7 @@
:
- →
+ →
)
@@ -66,7 +64,7 @@
(
- ∈
+ ∈
)
@@ -76,7 +74,7 @@
-A functionfunction is a left-total, right-unique relation in
+A functionfunction is a left-total, right-unique relation in
diff --git a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
index 96455425373..0f148890d06 100644
--- a/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/background/reals.omdoc
@@ -3,9 +3,7 @@
-
- Real Numbers
-
+ Real Numbers
@@ -56,7 +54,7 @@
-We denote the set of real numbersrealnumbers we all know and love with
+We denote the set of real numbersrealnumbers we all know and love with
.
diff --git a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
index d02a6d216e7..6b73e519730 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/continuous.omdoc
@@ -3,9 +3,7 @@
-
- Continuous Functions
-
+ Continuous Functions
@@ -27,7 +25,7 @@
C
0
-
+
@@ -42,7 +40,7 @@
-A function is called continuouscontinuous at
+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/differentiable.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
index 20c184eff4a..b1415a2334b 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.omdoc
@@ -3,9 +3,7 @@
-
- Differentiable Functions
-
+ Differentiable Functions
@@ -26,7 +24,7 @@
C
1
-
+
@@ -41,7 +39,7 @@
-A function is called differentiabledifferentiable at
+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/paper.omdoc b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
index ca38d57bd73..02d7d746649 100644
--- a/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
+++ b/Master/texmf-dist/doc/latex/stex/example/paper/paper.omdoc
@@ -2,44 +2,29 @@
-
- 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:
+ MichaelKohlhase
+ 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.
-
+functions as an assumed background.
-
- Introduction
-
+ 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
+ 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 Setup
@@ -50,27 +35,25 @@ present an approach to automation of the OMDoc conversion via Unix Makefiles.
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
+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
+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
+ As the modules are built for inclusion into other documents, they are not
self-contained:
-
-
+
they do not contain a LaTeX preamble and
-/, and
-
+/, and
+
@@ -81,8 +64,8 @@ self-contained:
- to facilitate this a module file modf.tex comes with a “semantic
-macro short form” modf.sms that can be included without generating
+
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.
@@ -90,59 +73,46 @@ 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
+ 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.
-
-
+accessible to us and call them background modulebackgroundmodules. In our setup we
+keep them in the subdirectory background.
+
-
- Formatting and OMDoc conversion
-
+ 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.
-
-
+ 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
-
+ Makefile-based Automation
-
- As the conversion to OMDoc is rather complex (the programs in the three steps take a
+ 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 targets.
+
-
- make omdoc
-
+ make omdoc
@@ -154,9 +124,7 @@ document.
-
- make mods
-
+ make mods
@@ -167,9 +135,7 @@ document.
-
- make pdf
-
+ make pdf
@@ -180,9 +146,7 @@ document.
-
- make mpdf
-
+ make mpdf
@@ -193,9 +157,7 @@ document.
-
- make sms
-
+ make sms
@@ -206,82 +168,38 @@ forms of modules (this is implicitly called in all the other
-
- 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
+ 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
+*.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
+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
+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
-
-
+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
-
+ Mathematical Content
-
- We present some standard mathematical definitions, here from calculus.
-
-
+ We present some standard mathematical definitions, here from calculus.
+
-
- Continuous Functions
-
+ Continuous Functions
@@ -303,7 +221,7 @@ that the BUT
C
0
-
+
@@ -318,7 +236,7 @@ that the BUT
-A function is called continuouscontinuous at
+A function is called continuouscontinuous at
, iff for all 0 there is a 0, such that
for all
@@ -327,9 +245,7 @@ A function
-
- Differentiable Functions
-
+ Differentiable Functions
@@ -350,7 +266,7 @@ A function C
1
-
+
@@ -365,7 +281,7 @@ A function
-A function is called differentiabledifferentiable at
+A function is called differentiabledifferentiable at
, iff for all 0 there is a 0, such that
for all .
@@ -376,24 +292,20 @@ A function
-
- Conclusion
-
+ 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.
-
-
+ 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/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..cbb89e36794
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..735b2f53ddf
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
index 57bf5ac2054..822e74a199a 100644
--- a/Master/texmf-dist/doc/latex/stex/mikoslides/README
+++ b/Master/texmf-dist/doc/latex/stex/mikoslides/README
@@ -5,5 +5,7 @@ The mikoslides class provides a practical basis for marking up slides semantical
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this document class can be found at
-https://svn.kwarc.info/repos/stex/sty/mikoslides
+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
index b5cf7c8204f..b90cbd5d30a 100644
Binary files a/Master/texmf-dist/doc/latex/stex/mikoslides/mikoslides.pdf 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
index b260a1e9d36..bc64ed35416 100644
--- a/Master/texmf-dist/doc/latex/stex/modules/README
+++ b/Master/texmf-dist/doc/latex/stex/modules/README
@@ -16,5 +16,6 @@ added-value services, either directly from the sTeX sources, or after translatio
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/modules/README $
+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
index cd0d16b778c..19325c00531 100644
Binary files a/Master/texmf-dist/doc/latex/stex/modules/modules.pdf and b/Master/texmf-dist/doc/latex/stex/modules/modules.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/omd/README b/Master/texmf-dist/doc/latex/stex/omd/README
deleted file mode 100644
index f655e5d95b2..00000000000
--- a/Master/texmf-dist/doc/latex/stex/omd/README
+++ /dev/null
@@ -1,11 +0,0 @@
-omd.sty: A generic framework for extensible Metadata in LaTeX
-
-The omd packge supplies the infrastructure for extending sTeX macros with ontology-based
-metadata. This is a package primarily aimed at authors of sTeX extensions.
-
-Copyright (c) 2009 Michael Kohlhase
-The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/omd/README $
-
diff --git a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf b/Master/texmf-dist/doc/latex/stex/omd/omd.pdf
deleted file mode 100644
index 550b18c8064..00000000000
Binary files a/Master/texmf-dist/doc/latex/stex/omd/omd.pdf and /dev/null differ
diff --git a/Master/texmf-dist/doc/latex/stex/omdoc/README b/Master/texmf-dist/doc/latex/stex/omdoc/README
index 80a516784ed..2a5111f8d38 100644
--- a/Master/texmf-dist/doc/latex/stex/omdoc/README
+++ b/Master/texmf-dist/doc/latex/stex/omdoc/README
@@ -7,5 +7,6 @@ This package and class supplies a the infrastructure for writing OMDoc documents
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/omdoc/README $
+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
index f30f84c833f..748bd0ba232 100644
Binary files a/Master/texmf-dist/doc/latex/stex/omdoc/omdoc.pdf 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
index d4681ffbb93..579f02789b3 100644
--- a/Master/texmf-dist/doc/latex/stex/omtext/README
+++ b/Master/texmf-dist/doc/latex/stex/omtext/README
@@ -6,5 +6,7 @@ This package supplies a the infrastructure for writing OMDoc text fragments.
Copyright (c) 2010 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/omtext/README $
+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
index 418f5eef06d..eee9af67ad2 100644
Binary files a/Master/texmf-dist/doc/latex/stex/omtext/omtext.pdf 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
index 3436ba5a327..6fd953f20d1 100644
--- a/Master/texmf-dist/doc/latex/stex/presentation/README
+++ b/Master/texmf-dist/doc/latex/stex/presentation/README
@@ -10,5 +10,7 @@ translation.
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/presentation/README $
+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
index 1d63eea05b3..e7b90a82151 100644
Binary files a/Master/texmf-dist/doc/latex/stex/presentation/presentation.pdf 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
index 6b72fdc32a8..77b9314109e 100644
--- a/Master/texmf-dist/doc/latex/stex/problem/README
+++ b/Master/texmf-dist/doc/latex/stex/problem/README
@@ -6,5 +6,5 @@ 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/
+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
index 063a4654aca..6f0232ee6d0 100644
Binary files a/Master/texmf-dist/doc/latex/stex/problem/problem.pdf and b/Master/texmf-dist/doc/latex/stex/problem/problem.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/reqdoc/README b/Master/texmf-dist/doc/latex/stex/reqdoc/README
index 89c91485ed0..adc3131dbbd 100644
--- a/Master/texmf-dist/doc/latex/stex/reqdoc/README
+++ b/Master/texmf-dist/doc/latex/stex/reqdoc/README
@@ -8,5 +8,5 @@ Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the
LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/README $
+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
index c9610596c10..f9f7b443061 100644
Binary files a/Master/texmf-dist/doc/latex/stex/reqdoc/reqdoc.pdf 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
index 7f32d2f519e..6365a8adb7a 100644
Binary files a/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf and b/Master/texmf-dist/doc/latex/stex/reqdoc/requirements.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/sproof/README b/Master/texmf-dist/doc/latex/stex/sproof/README
index 4037dce940e..0b2a9844ec0 100644
--- a/Master/texmf-dist/doc/latex/stex/sproof/README
+++ b/Master/texmf-dist/doc/latex/stex/sproof/README
@@ -7,5 +7,5 @@ either directly from the sTeX sources, or after translation via the LaTeXML syst
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/sproof/README $
+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
index fa441932ded..28f43dfe3e7 100644
Binary files a/Master/texmf-dist/doc/latex/stex/sproof/sproof.pdf 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
index f221504c5f8..457691747cd 100644
--- a/Master/texmf-dist/doc/latex/stex/sref/README
+++ b/Master/texmf-dist/doc/latex/stex/sref/README
@@ -5,6 +5,6 @@ This package and class supplies a the infrastructure for crossreferencing across
Copyright (c) 2009 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/sref/README $
+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
index 6f9a2e051a1..f616243640d 100644
Binary files a/Master/texmf-dist/doc/latex/stex/sref/book.pdf and b/Master/texmf-dist/doc/latex/stex/sref/book.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf
index 4e0ef1cbeff..c3d51b8e7ff 100644
Binary files a/Master/texmf-dist/doc/latex/stex/sref/idc.pdf and b/Master/texmf-dist/doc/latex/stex/sref/idc.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf
index 91bd32bc17c..dae710266c8 100644
Binary files a/Master/texmf-dist/doc/latex/stex/sref/scr.pdf and b/Master/texmf-dist/doc/latex/stex/sref/scr.pdf differ
diff --git a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf b/Master/texmf-dist/doc/latex/stex/sref/sref.pdf
index d677132867d..1cb747475d1 100644
Binary files a/Master/texmf-dist/doc/latex/stex/sref/sref.pdf 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
index 152239e074a..fe5c2dbbe9c 100644
--- a/Master/texmf-dist/doc/latex/stex/statements/README
+++ b/Master/texmf-dist/doc/latex/stex/statements/README
@@ -6,5 +6,5 @@ This package and class supplies a the infrastructure for writing OMDoc statement
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
-The development version of this package can be found at
-$HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/statements/README $
+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
index a3e38f47b9b..031b5a52334 100644
Binary files a/Master/texmf-dist/doc/latex/stex/statements/statements.pdf and b/Master/texmf-dist/doc/latex/stex/statements/statements.pdf differ
--
cgit v1.2.3