diff --git a/systems/sTeX.md b/systems/sTeX.md index 77d318e8303fa19fa969cbb9fb41c88f6fa7db47..cfadfcc9f33e5b863093ae3bc85dde17f11dcd1a 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -29,7 +29,7 @@ generation), but can be taken into account when generating [OMDoc-based](/system [LaTeXML](http://dlmf.nist.gov/LaTeXML/) [plugin for sTeX](https://github.com/KWARC/LaTeXML-Plugin-sTeX) * Some sTeX-based libraries of active doucents on [MathHub.info](http://mathhub.info): [SMGloM](https://mathhub.info/smglom), [active course notes](https://mathhub.info/MiKoMH). -* and [SMGloM](https://gl.mathhub.info/smglom), [active course notes](https://gl.mathhub.info/MiKoMH). +* Their sources can be found here: [SMGloM](https://gl.mathhub.info/smglom), [active course notes](https://gl.mathhub.info/MiKoMH). ## Documentation/Papers * M. Kohlhase (2008) [*Using LaTeX as a semantic markup format*](https://kwarc.info/kohlhase/papers/mcs08-stex.pdf). Mathematics in Computer Science 2 (2), pp. 279–304