From 5ae74431567103a8431ca7e060f28ab896af7f65 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 19 Nov 2017 16:40:11 +0100
Subject: [PATCH] umlauts

---
 courses/theses.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/courses/theses.md b/courses/theses.md
index 2414e59..c2dbe44 100644
--- a/courses/theses.md
+++ b/courses/theses.md
@@ -12,12 +12,12 @@ menu_order: 101
 * Vyacheslav Zholudev: *[Enhancing XML Preservation and Workflows](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012. 
 * Christoph Lange: *[Enabling Collaboration on Semiformal Mathematical Knowledge by
       Semantic Web Integration](https://opus.jacobs-university.de/frontdoor/index/index/docId/434)*, Jacobs University, III 2011. 
-* Christine M\"uller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*,  Jacobs University, V 2010. 
-* Normen M\"uller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*,  Jacobs University, VIII 2010.
+* Christine Müller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*,  Jacobs University, V 2010. 
+* Normen Müller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*,  Jacobs University, VIII 2010.
 * Immanuel Normann: *[Automated Theory Interpretation](https://opus.jacobs-university.de/frontdoor/index/index/docId/336)*, Jacobs  University, XII 2008.
 * Florian Rabe: *[Representing Logics and Logic Translations](https://opus.jacobs-university.de/frontdoor/index/index/docId/344)*, Jacobs University, VI 2008. 
 * Karsten Konrad: *Model Generation for Natural Lanugage Interpretation and Analysis*, Universtät des Saarlandes, IV 2000.
-* Christoph Benzm\"uller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
+* Christoph Benzmüller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
 * Susanna Kuschert: *Dynamic Meaning and Accomodation*,  Universtät des Saarlandes, II 1999, 
 
 ### M.Sc Theses
@@ -66,7 +66,7 @@ Jacobs University, 2013.
     Generation*, CMU, 2004.
 * Sarah Eisenhardt: *Model Generation for Negations in Natural
     Language*, CMU,  2004.
-* Andreas Franke: *\textsc{MBase}, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003. 
+* Andreas Franke: *MBase, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003. 
 * Stephan Walther: *Model Generation and Dynamic Semantics*, Universtät des Saarlandes, 2001. 
 * Aljoscha Burkard: *Resource-adaptive Model
     Generation for Natural Language Understanding*, Universtät des Saarlandes, 2001.
-- 
GitLab