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

The variable STEXDIR has to be set to the main directory of the sTeX + To use this, we need to set up a Makefile of the following form: + +
STEXDIR = ../..
2TARGET = paper.tex
MODSLIBDIR = ../background
4
include $(STEXDIR)/make/Makefile.vars
6all: omdoc mods pdf
include $(STEXDIR)/make/Makefile.in
+The variable STEXDIR has to be set to the main directory of the sTeX distribution. The variable TARGET specifies the target document (all other -*.tex files that are not excluded in the BUTFILES variables are -considered as modules). Here, the background directory for convenience. The +*.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