From 3e04a28a82e6227b124a992841a1fe916d266095 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 3 Apr 2018 16:36:24 +0200
Subject: [PATCH] more

---
 systems/sTeX.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/systems/sTeX.md b/systems/sTeX.md
index 77d318e..cfadfcc 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
-- 
GitLab