adding teasers

projects/meta/index.md

@@ -7,7 +7,7 @@ permalink: /projects/
 {% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
 
 This page lists the projects of the KWARC group with current, external funding
-([completed projects](../completed). Projects we engage in without funding can be found
+([completed projects](../completed)). Projects we engage in without funding can be found
 under [KWARC Systems](../../systems/).
 
 <ul class="collection">

systems/arXMLiv.md

@@ -2,14 +2,15 @@
 layout: system
 
 title: arXMLiv
-
+teaser: Translating the arXiv to XML/HTML5 
 start_date: '2006'
 
 people:
     - mkohlhase
     - dginev
 
-website: http://arxiv.org
+website: http://cortex.mathweb.info
+repository: https://github.com/dginev/CorTeX
 ---
 
 The [Cornell e-print arXiv](http://arxiv.org) contains one of the largest corpora of scientific literature in the world. Unfortunately, its contents are locked up in the TeX/LaTeX format, which makes it nearly useless for knowledge management techniques. We translate it to XML to have a basis for uncovering it's structural semantics.

systems/kat.md

 ---
 layout: system
 
-title: "KAT: An Annotation Tool for STEM Documents" 
+title: "KAT: KWARC Annotation Tool" 
+teaser: An Annotation Tool for STEM Documents
 
 start_date: 2013-06
 
 people:
+	- mkohlhase
     - twiesing
 
 repository: https://github.com/KWARC/KAT 
 ---
 
-KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. 
+KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can
+even annotate MathML. We use it for maths corpus linguistics.

systems/llamapun.md

@@ -2,6 +2,7 @@
 layout: system
 
 title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
+teaser: A RUST library for math corpus linguistics.
 
 start_date: 2008-11
 

systems/smglom.md

 ---
 layout: system
 
-title: "The Semantic, Multilingual Glossary of Mathematics"
+title: "SMGLoM; The Semantic, Multilingual Glossary of Mathematics"
+teaser: A terminological resource for Mathematics. 
 
 start_date: 2013-11
 
@@ -9,4 +10,5 @@ people:
     - mkohlhase
     - cjucovschi
     - miancu
----
\ No newline at end of file
+---
+The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary).