From ad5cc975bbad7b80c61f188a4457a10ba3a92f7f Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Sat, 24 Jun 2017 12:52:57 -0400
Subject: [PATCH] Fix warnings
---
_includes/people_chip.html | 8 ++--
courses/AIProj.md | 2 +-
courses/GenICT1.md | 2 +-
courses/GenICT2.md | 2 +-
courses/KRMT.md | 2 +-
courses/ai.md | 2 +-
courses/ai1.md | 2 +-
courses/ai2.md | 2 +-
courses/complog.md | 4 +-
courses/comsem.md | 4 +-
courses/dbwa.md | 2 +-
courses/dynamics.md | 2 +-
courses/gencs.md | 2 +-
courses/gencs1.md | 2 +-
courses/gencs2.md | 2 +-
courses/krsw.md | 2 +-
courses/lbs.md | 2 +-
courses/meta/former.md | 2 +-
courses/meta/upcoming.md | 2 +-
courses/tdm.md | 4 +-
courses/ttt.md | 10 ++---
courses/wuv.md | 2 +-
people/cdavid.md | 2 +-
projects/odk.md | 2 +-
projects/tetrapod.md | 2 +-
research/index.md | 76 +++++++++++++++++++-------------------
systems/mmt.md | 6 +--
27 files changed, 75 insertions(+), 77 deletions(-)
diff --git a/_includes/people_chip.html b/_includes/people_chip.html
index ea01f3c..de912b7 100644
--- a/_includes/people_chip.html
+++ b/_includes/people_chip.html
@@ -14,9 +14,7 @@
</div>
</a>
{% else %}
- <a href="{{ site.baseurl }}{{purl}}">
- <div class="chip">
- {{person}}
- </div>
- </a>
+ <div class="chip">
+ {{person}}
+ </div>
{% endif %}
\ No newline at end of file
diff --git a/courses/AIProj.md b/courses/AIProj.md
index 072174b..3bf756e 100644
--- a/courses/AIProj.md
+++ b/courses/AIProj.md
@@ -3,7 +3,7 @@ layout: course
title: Projekt zur Künstlichen Intelligenz
instructor:
- - mkohlhase
+ - mkohlhase
semesters:
- WS17/18
diff --git a/courses/GenICT1.md b/courses/GenICT1.md
index a79cfb7..90bbc84 100644
--- a/courses/GenICT1.md
+++ b/courses/GenICT1.md
@@ -7,7 +7,7 @@ instructor:
- Prof. Jürgen Schönwälder
- Prof. Peter Baumann
- Prof. Herbert Jaeger
-
+
organization: Jacobs University
semesters:
- Fall14
diff --git a/courses/GenICT2.md b/courses/GenICT2.md
index d60f2eb..5e6e3b6 100644
--- a/courses/GenICT2.md
+++ b/courses/GenICT2.md
@@ -7,7 +7,7 @@ instructor:
- Prof. Jürgen Schönwälder
- Prof. Peter Baumann
- Prof. Herbert Jaeger
-
+
organization: Jacobs University
semesters:
- Spring15
diff --git a/courses/KRMT.md b/courses/KRMT.md
index 7b8ea74..82df600 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -3,7 +3,7 @@ layout: course
title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
instructor:
- - omkohlhase
+ - omkohlhase
semesters:
- SS17
diff --git a/courses/ai.md b/courses/ai.md
index 3baeb29..ce07f6b 100644
--- a/courses/ai.md
+++ b/courses/ai.md
@@ -3,7 +3,7 @@ layout: course
title: Artificial Intelligence
instructor:
- - mkohlhase
+ - mkohlhase
organization: Jacobs University
semesters:
diff --git a/courses/ai1.md b/courses/ai1.md
index 6ffb468..b3e4125 100644
--- a/courses/ai1.md
+++ b/courses/ai1.md
@@ -3,7 +3,7 @@ layout: course
title: Künstliche Intelligenz I
instructor:
- - mkohlhase
+ - mkohlhase
semesters:
- WS16/17
diff --git a/courses/ai2.md b/courses/ai2.md
index 742df1a..7bf7ebd 100644
--- a/courses/ai2.md
+++ b/courses/ai2.md
@@ -3,7 +3,7 @@ layout: course
title: Künstliche Intelligenz II
instructor:
- - mkohlhase
+ - mkohlhase
semesters:
- SS17
diff --git a/courses/complog.md b/courses/complog.md
index 01a6dc3..0cdfb89 100644
--- a/courses/complog.md
+++ b/courses/complog.md
@@ -3,10 +3,10 @@ layout: course
title: Computational Logic
instructor:
- - mkohlhase
+ - mkohlhase
- frabe
- dmueller
-
+
organization: Jacobs University
semesters:
- Fall05
diff --git a/courses/comsem.md b/courses/comsem.md
index 5de02df..6d122e0 100644
--- a/courses/comsem.md
+++ b/courses/comsem.md
@@ -3,8 +3,8 @@ layout: course
title: Computational Natural Language Semantics
instructor:
- - mkohlhase
-
+ - mkohlhase
+
organization: Jacobs University
semesters:
- Fall06
diff --git a/courses/dbwa.md b/courses/dbwa.md
index da336d3..914c28f 100644
--- a/courses/dbwa.md
+++ b/courses/dbwa.md
@@ -3,7 +3,7 @@ layout: course
title: Data Bases and Web Applications
instructor:
- - mkohlhase
+ - mkohlhase
organization: Jacobs University
semesters:
diff --git a/courses/dynamics.md b/courses/dynamics.md
index 176ec62..de9437c 100644
--- a/courses/dynamics.md
+++ b/courses/dynamics.md
@@ -3,7 +3,7 @@ layout: course
title: Representing Dynamics and Dynamic Representation
instructor:
- - mkohlhase
+ - mkohlhase
- Herber Jaeger, Jacocbs University
organization: Jacobs University
diff --git a/courses/gencs.md b/courses/gencs.md
index 170fcc7..879c138 100644
--- a/courses/gencs.md
+++ b/courses/gencs.md
@@ -3,7 +3,7 @@ layout: course
title: General Computer Science
instructor:
- - mkohlhase
+ - mkohlhase
organization: Jacobs University
semesters:
diff --git a/courses/gencs1.md b/courses/gencs1.md
index 279b1a6..4409046 100644
--- a/courses/gencs1.md
+++ b/courses/gencs1.md
@@ -3,7 +3,7 @@ layout: course
title: General Computer Science I
instructor:
- - mkohlhase
+ - mkohlhase
organization: Jacobs University
semesters:
diff --git a/courses/gencs2.md b/courses/gencs2.md
index 443966c..b549737 100644
--- a/courses/gencs2.md
+++ b/courses/gencs2.md
@@ -3,7 +3,7 @@ layout: course
title: General Computer Science II
instructor:
- - mkohlhase
+ - mkohlhase
organization: Jacobs University
semesters:
diff --git a/courses/krsw.md b/courses/krsw.md
index 889a0de..a5f5ce8 100644
--- a/courses/krsw.md
+++ b/courses/krsw.md
@@ -3,7 +3,7 @@ layout: course
title: Research Seminar - Knowledge Representation and Semantic Web
instructor:
- - mkohlhase
+ - mkohlhase
- frabe
organization: Jacobs University
diff --git a/courses/lbs.md b/courses/lbs.md
index ee5a768..5a42c47 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -3,7 +3,7 @@ layout: course
title: Logik-Basierte Sprachverarbeitung (LBS)
instructor:
- - mkohlhase
+ - mkohlhase
semesters:
- WS17/18
diff --git a/courses/meta/former.md b/courses/meta/former.md
index bce4fe5..b20acc5 100644
--- a/courses/meta/former.md
+++ b/courses/meta/former.md
@@ -10,6 +10,6 @@ permalink: /courses/former/
{% for item in courses %}
{% unless item.semesters contains site.semester %}
{% include course.html %}
- {% endunless %}
+ {% endunless %}
{% endfor %}
</ul>
diff --git a/courses/meta/upcoming.md b/courses/meta/upcoming.md
index 62159d8..193ad34 100644
--- a/courses/meta/upcoming.md
+++ b/courses/meta/upcoming.md
@@ -12,4 +12,4 @@ permalink: /courses/upcoming/
{% include course.html %}
{% endif %}
{% endfor %}
-</ul>
+</ul>
\ No newline at end of file
diff --git a/courses/tdm.md b/courses/tdm.md
index 8feee56..27fe692 100644
--- a/courses/tdm.md
+++ b/courses/tdm.md
@@ -1,9 +1,9 @@
---
layout: course
-title: University Study Course: Text and Digital Media
+title: "University Study Course: Text and Digital Media"
instructor:
- - mkohlhase
+ - mkohlhase
- Prof. Thomas Rommel, Jacobs University
organization: Jacobs University
diff --git a/courses/ttt.md b/courses/ttt.md
index 2a49c32..8053417 100644
--- a/courses/ttt.md
+++ b/courses/ttt.md
@@ -1,14 +1,14 @@
---
layout: course
-title: University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age
+title: "University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age"
instructor:
-- mkohlhase
-- Dr. Giselda Baudin
-
+ - mkohlhase
+ - Dr. Giselda Baudin
+
organization: Jacobs University
semesters:
- Intersession 2014
---
An interdisciplinary Introduction to the structure and management of Text and Digial
-Media.
+Media.
diff --git a/courses/wuv.md b/courses/wuv.md
index 88285e3..da72a17 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -3,7 +3,7 @@ layout: course
title: Seminar Wissensrepräsentation und -verarbeitung
instructor:
- - mkohlhase
+ - mkohlhase
semesters:
- SS17
diff --git a/people/cdavid.md b/people/cdavid.md
index a69939b..bb6fda8 100644
--- a/people/cdavid.md
+++ b/people/cdavid.md
@@ -23,6 +23,6 @@ systems, bringing semantic web concepts in everyday desktop software (SiSsi).
### Research Focus
I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
-
+
### Thesis Title
Semantic Alliance Framework: Integrating Documents and Semantic Service
diff --git a/projects/odk.md b/projects/odk.md
index 486c635..c996898 100644
--- a/projects/odk.md
+++ b/projects/odk.md
@@ -15,7 +15,7 @@ people:
- miancu
- cmaeder
- dmueller
-
+
funding: EU
program: Research Infrastructure
grantid: 676541
diff --git a/projects/tetrapod.md b/projects/tetrapod.md
index 483d946..b0f5824 100644
--- a/projects/tetrapod.md
+++ b/projects/tetrapod.md
@@ -10,7 +10,7 @@ start_date: '2011-12'
people:
- mkohlhase
- dmueller
- - frabe
+ - frabe
---
The aim of the Tetrapod project is to produce tools for **trustworthy and efficient
diff --git a/research/index.md b/research/index.md
index 7d0aa21..29fee84 100644
--- a/research/index.md
+++ b/research/index.md
@@ -11,56 +11,56 @@ menu_order: 101
<tbody>
<tr>
<td colspan="3">
- <span style="font-weight:bold">Applications</span>
- eMath 3.0,
- <a href="https://planetary.mathweb.org">Active Documents</a>,
- <a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>,
- <a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>,
- Semantic Help Systems, Change Mangagement, ...
+ <span style="font-weight:bold">Applications</span>
+ eMath 3.0,
+ <a href="https://planetary.mathweb.org">Active Documents</a>,
+ <a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>,
+ <a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>,
+ Semantic Help Systems, Change Mangagement, ...
</td>
</tr>
<tr>
<td>
- <span style="font-weight:bold">Foundations of Mathematics</span>
- <ul>
- <li><a href="https://omdoc.org">OMDoc</a></li>
- <li>advanced Type Theories</li>
- <li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
- <li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li>
- <li>Theorem Prover Interoperability</li>
- </ul>
+ <span style="font-weight:bold">Foundations of Mathematics</span>
+ <ul>
+ <li><a href="https://omdoc.org">OMDoc</a></li>
+ <li>advanced Type Theories</li>
+ <li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
+ <li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li>
+ <li>Theorem Prover Interoperability</li>
+ </ul>
</td>
<td>
- <a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a>
- <ul>
- <li>Semantic Interpretation</li>
- <li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li>
- <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li>
- <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li>
- <li>Math Archives</li>
- </ul>
+ <a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a>
+ <ul>
+ <li>Semantic Interpretation</li>
+ <li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li>
+ <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li>
+ <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li>
+ <li>Math Archives</li>
+ </ul>
</td>
<td>
- <a href="http://kwarc.info/research/semantization">
- <span style="font-weight:bold">Semantization</span>
- </a>
- <ul>
- <li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --> XML</a></li>
- <li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li>
- <li>invasive editors</li>
- <li>Context-Aware IDEs</li>
- <li>Mathematical Corpora</li>
- <li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li>
- </ul>
+ <a href="http://kwarc.info/research/semantization">
+ <span style="font-weight:bold">Semantization</span>
+ </a>
+ <ul>
+ <li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --> XML</a></li>
+ <li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li>
+ <li>invasive editors</li>
+ <li>Context-Aware IDEs</li>
+ <li>Mathematical Corpora</li>
+ <li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li>
+ </ul>
</td>
</tr>
<tr>
<td colspan="3">
- <span style="font-weight:bold">Foundations:</span>
- Computational Logic,
- <a href="/formal-methods">Formal Methods</a>,
- <a href="http://www.w3.org/TR/MathML3/">MathML</a>,
- <a href="http://openmath.org">OpenMath</a>
+ <span style="font-weight:bold">Foundations:</span>
+ Computational Logic,
+ <a href="/formal-methods">Formal Methods</a>,
+ <a href="http://www.w3.org/TR/MathML3/">MathML</a>,
+ <a href="http://openmath.org">OpenMath</a>
</td>
</tr>
</tbody>
diff --git a/systems/mmt.md b/systems/mmt.md
index 480c269..c56e2c6 100644
--- a/systems/mmt.md
+++ b/systems/mmt.md
@@ -15,9 +15,9 @@ people:
supported-by:
- oaf
- - okd
- - latin
- - mathsearch
+ - okd
+ - latin
+ - mathsearch
website: https://uniformal.github.io/
repository: https://github.com/Uniformal/MMT
--
GitLab