more systems

systems/active.md

@@ -4,7 +4,7 @@ title: Active Systems
 menu_title: Active
 menu_order: -1
 ---
-## Actively Developed Systems ([Historic Systems](/projects/historic))
+## Actively Developed Systems ([Historic Systems](/systems/historic))
 
 
 listing to be generated here.

systems/arXMLiv.md

 ---
-layout: project
+layout: system
 menu_title: arXMLiv  
 title: arXMLiv
 start: 2006

systems/historic.md

@@ -4,7 +4,7 @@ title: Historic Systems
 menu_title: Historic
 menu_order: 2
 ---
-## Historic Systems ([active systems](/projects/active/))
+## Historic Systems ([active systems](/systems/active/))
 
 The KWARC group has developed various added value services based on OMDoc-encoded content,
 including a mathematical knowledge base, a semantic search engine, management of change, a

projects/llamapun.md → systems/llamapun.md

 ---
-layout: project
+layout: system
 menu_title: LLaMaPuN
 title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
 start: 2008-11

systems/mathhub.md

+---
+layout: system
+menu_title: MathHub
+title: MathHub
+teaser:A portal for active mathematical documents and an archive for flexiformal mathematics.
+start: 2008-08
+repository: https://github.com/KWARC/mathhub
+homepage: http://mathhub.info
+people: mkohlhase,akohlhase,cjucovschi
+---
+MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge 

systems/mmt.md

+---
+layout: system
+menu_title: MMT
+title: "MMT: Meta Meta Theories/Meta Meta Tool"
+teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.
+people: frabe,dmueller,twiesing,miancu,fhorozal
+---
+
+MMT is a framework for representing declarative languages such as logics, type theories, set theories, etc.. It achieves a high level of generality by systematically avoiding a commitment to a particular syntax or semantics. Instead, individual language features (e.g., λ-abstraction, conjunction, etc.) and syntax features (keywords, notations, etc.) are defined as separate, reusable modules, from which individual languages are assembled. These modules can be declarative by specifying features as Mmt theories or programmatic by providing individual rules as plugins.Despite this high degree of abstraction, it is possible to implement advanced algorithms generically at the MMT level. These include knowledge management algorithms (e.g, IDE, search, change management) as well as logical algorithms (e.g., parsing, type reconstruction, module system). Thus, we can use MMT to obtain strong implementations of declarative languages at extremely low cost.Moreover, the focus on modularity and language-independence enables system integration, where MMT can mediate the exchange of knowledge across different foundational systems and concrete syntaxes.See here for the MMT homepage.

systems/mws.md

 ---
-layout: project
+layout: system
 menu_title: MathWebSearch
 title: "MathWebSearch a Mathematical Search Engine"
 pillar: KMR

systems/omdoc.md

+---
+layout: system
+menu_title: OMDoc
+title: "OMDoc: Open Mathematical Documents"
+teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
+homepage: http://omdoc.org
+repository: http://github.com/OMDoc
+people: mkohlhase
+---
+
+OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.

systems/sTeX.md

 ---
-layout: project
+layout: system
 menu_title: sTeX
 title: "sTeX: Semantic Markup for LaTeX"
 pillar: semantization

systems/sally.md

+---
+layout: system
+menu_title: Semantic Alliance
+title: Semantic Alliance
+teaser:A framework for mashing up semantic services into desktop applications.
+repository: https://github.com/KWARC/Sally
+people: mkohlhase,akohlhase,cjucovschi
+---

systems/smglom.md

 ---
-layout: project
+layout: system
 menu_title: SMGloM
 title: "The Semantic, Multilingual Glossary of Mathematics"
 pillar: KMR
 start: 2013-11
 people: mkohlhase,cjucovshi,miancu
 ---
-The [Semantic, Multilingual Glossary of Mathematics](/projects/smglom/) is a 
+The [Semantic, Multilingual Glossary of Mathematics](/systems/smglom/) is a