The sTeX Packages

sTeX is implemented as a set of LaTeX packages that allow to semantically pre-load TeX/LaTeX documents.

We have relased  sTeX to the  Comprehensive TeX Archive Network (CTAN), the development version is at  https://svn.kwarc.info/repos/stex/sty. Use it at your own risk!

The Packages

• stex.sty is a convenience package that calls (almost) all the others, browse source
  • modules.sty provides the notion of semantic macros for symbols and module scoping for them, browse source
  • omdoc.sty and omdoc.cls provide the document-level features browse source
  • presentation.sty is a provides generic bracket elision functionalities for semantic macros browse source
  • sref.sty provides general semantic cross-referencing, browse source
  • statements.sty provides and infrastructure for semanticcally enhanced theorem-like environments for definitions, axioms, and assertions, browse source
  • sproof.sty provides semantic markup for proofs, browse source
  • dcm.sty provides semantic markup for dublin core metadata, browse source
• auxiliary packages
  • cmathml.sty provides semantic macros for the content MathML language browse source
  • cnx.cls provides an environment for the markup format of the  Connexions Project, browse source
  • physml.sty is an experimental extension of sTeX for Physics browse source
  • reqdoc.sty is an experimental extension of sTeX for requirement documentation in software engineering, browse source