Get systems pages ready for deployment

_config.yml

@@ -55,10 +55,19 @@ menu:
         - title: 'Bibliography'
           external: true
           url: 'https://kwarc.github.io/bibs/'
+    
     - title: 'Research'
-      folder: 'research'
+      folder: '/research/'
+    
     - title: 'Systems'
-      folder: 'systems'
+      active: '/systems/'
+      items:
+          - title: 'Current Systems'
+            url: '/systems/'
+          - title: 'Historic Systems'
+            url: '/systems/historic/'
+    
+    
     - title: 'Projects'
       folder: 'projects'
     - title: '4Students'

_includes/psitem.html

+{% comment %}
+    Renders a link to a single project or system. Expects 'item' as a parameter. 
+{% endcomment %}
+
+<li class="collection-item avatar">
+    <a href="{{item.url}}" class="title">{{item.title}}</a>
+    <p>
+        {% if item.start_date %}
+          {% unless item.end_date %}
+          <b>started</b>
+          {% endunless %}
+          {% assign date = item.start_date %}
+          {% include date.html %}
+          
+          {% if item.end_date %}
+              &nbsp;-&nbsp;
+              {% assign date = item.end_date %}
+              {% include date.html %}
+          {% endif %}
+          <br />
+        {% endif %}
+        
+        {{item.teaser | safe}}
+    </p>
+</li>
\ No newline at end of file

_layouts/system.html

@@ -3,66 +3,51 @@ layout: default
 ---
 
 <div class="row">
-  <div class="col s12 m5 left">
-    <div class="card">
-      <div class="card-content">
-        <span class="card-title">{{page.title}}</span>
-        {% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
-        
-        {% if page.homepage %}
-        <p>
-          <a href="{{page.url}}">{{page.homepage}}</a> 
-        </p>
-        {% endif %}
-        
-        {% if page.start %}
-        <p>
-          <b>From:</b>
-            {% assign date = page.start %}
-            {% include date.html %}
+    <div class="col s12 m5 left">
+        <div class="card">
+            <div class="card-content">
+                <span class="card-title">{{page.title}}</span>
+                {% if page.subtitle %}<h6>{{page.subtitle}}</h6>{% endif %}
+                
+                {% if page.start_date %}
+                    <p>
+                        <b>From:</b>
+                        {% assign date = page.start_date %}
+                        {% include date.html %}
+                        
+                        {% if page.end_date %}
+                        <br />
+                        <b>To:</b>
+                        {% assign date = page.end_date %}
+                        {% include date.html %}
+                        {% endif %}
+                    </p>
+                    <hr />
+                {% endif %}
+                
+                {% for person in page.people %}
+                  {% include people_chip.html %} <br />
+                {% endfor %}
+            </div>
+            {% assign hasaction = false %}
             
-          {% if page.end %}
-            <b>To:</b>
-                {% assign date = page.end %}
-                {% include date.html %}
-          {% endif %}
-        </p>
-        {% endif %}
-        
-      </div>
-      
-      <div class="card-tabs">
-        <ul class="tabs tabs-fixed-width">
-          {% if page.people %}
-            <li class="tab"><a href="#people">People</a></li>
-          {% endif %}
-          {% if page.collaborators %}
-            <li class="tab"><a href="#collaborators">Collaborators</a></li>
-          {% endif %}
-        </ul>
-      </div>
-      <div class="card-content grey lighten-4">
-        
-        {% if page.people %}
-          <div id="people">
-            {% assign people = page.people | split: ',' %}
+            {% if page.website %}{% assign hasaction = true %}{% endif %}
+            {% if page.repository %}{% assign hasaction = true %}{% endif %}
             
-            {% for person in people %}
-              {% include people_chip.html %}
-            {% endfor %}
-          </div>
-        {% endif %}
-        
-        {% if page.collaborators %}
-          <div id="collaborators">
-            {{page.collaborators}}
-          </div>
-        {% endif %}
-        
-        
-      </div>
+            {% if hasaction %}
+                <div class="card-action">
+                    {% if page.website %}
+                        <a target="_blank" href="{{ page.website }}">Website</a>
+                        &nbsp;
+                    {% endif %}
+                    {% if page.repository %}
+                        <a target="_blank" href="{{ page.repository }}">Repository</a>
+                        &nbsp;
+                    {% endif %}
+                </div>
+            {% endif %}
+        </div>
     </div>
-  </div>
   <p>
     {{content}}
   </p>

systems/TNTBase.md

 ---
 layout: system
+
 title: TNTBase
 teaser: A  Versioned Storage for Mathematics (OMDoc) 
-start: 2009-09
-end: 2012-08
-people: mkohlhase,vzholudev
+
+start_date: 2009-09
+end_date: 2012-08
+
+people:
+    - mkohlhase
+    - vzholudev
 ---
+
 TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.

systems/active.md

----
-layout: default
-title: Active Systems
-menu_title: Active
-menu_order: 100
----
-## Actively Developed Systems ([Historic Systems](/systems/historic))
-
-
-listing to be generated here.
-
-
-
-
-
-
-

systems/arXMLiv.md

 ---
 layout: system
+
 title: arXMLiv
-start: 2006
-pillar: semantization
-people: mkohlhase,dginev
+
+start_date: '2006'
+
+people:
+    - mkohlhase
+    - dginev
+
+website: http://arxiv.org
 ---
+
 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/cpoint.md

 ---
 layout: system
+
 title: CPoint
 teaser: Adding a semantic layer to MS PowerPoint.
-start: 2001-07
-end: 2008-04
-people: akohlhase
+
+start_date: 2001-07
+end_date: 2008-04
+
+people:
+    - akohlhase
 ---

systems/jomdoc.md

 ---
 layout: system
+
 title: JOMDoc
-teaser: A Java API for OMDoc documents.
-start: 2007-09
-end: 2013-12
-people: mkohlhase,nmueller
+teaser: A Java API for OMDoc documents
+
+start_date: 2007-09
+end_date: 2013-12
+
+people: 
+    - mkohlhase
+    - nmueller
 ---
+
 JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future.

systems/kat.md

 ---
 layout: system
-menu_title: KAT
+
 title: "KAT: An Annotation Tool for STEM Documents" 
-start: 2013-06
-people: twiesing
+
+start_date: 2013-06
+
+people:
+    - twiesing
+
+repository: https://github.com/KWARC/KAT 
 ---
+
 KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. 

systems/krextor.md

 ---
 layout: system
+
 title: Krextor
-start: 2008-02
-end: 2010-09
-people: clange
+
+start_date: 2008-02
+end_date: 2010-09
+
+people: 
+    - clange
 ---
+
 Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. See

systems/llamapun.md

 ---
 layout: system
-menu_title: LLaMaPuN
+
 title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
-start: 2008-11
-people: mkohlhase,dginev,jfschaefer,itoloaca
+
+start_date: 2008-11
+
+people: 
+    - mkohlhase
+    - dginev
+    - jfschaefer
+    - itoloaca
+
+repository: https://github.com/KWARC/LLaMaPUn/
 ---
+
 The LaMaPUn project investigates the structure and meaning of scientific/technical
 documents and builds tools for extracting semantic representations from them that can be
 used to enhance access to and interaction with document corpora.
 
 The LLaMaPUn library consists of a wide range of processing tools for natural language and
-mathematics. Its repository is at https://github.com/KWARC/LLaMaPUn/
+mathematics. 
 

systems/mathhub.md

 ---
 layout: system
+
 title: MathHub
 teaser: A portal for active mathematical documents and an archive for flexiformal mathematics.
-start: 2008-08
+
+start_date: 2008-08
+
+people: 
+    - mkohlhase
+    - akohlhase
+    - cjucovschi
+
+website: http://mathhub.info
 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/README.md → systems/meta/README.md

@@ -7,18 +7,16 @@ examples.
 Each post needs some specific parameters:
 
  * **layout** use `system`
+ 
  * **title** the title of the system
- * **subtitle** (optional) a subtitle. It will be adjuncted to your title in the post
- link and just under the title in the post page
  * **teaser** (optional) a one-line description for the overview
- * **people** (optional) the KWARC people involved in this
- * **collaborators** (optional) the outside collaborators
- * **start** (optional) the system start date
- * **end** (optional) the system end date
- * **pillar** (optional) the pillar (in the sense of http://kwarc.info/research) of the
-   system); use one of `semantization`, `KMR`, or `foundations`.
- * **redirect_from** (optional) not needed for new systems, this is just the redirect
-   link from old activities pages on the former site. 
- * **funding** (optional): the funding body, *DFG*, *Leibniz Foundation*, *EU*, *Industry*
- * **homepage** (optional): the system home page
- * **repos** (optional): the system repository
+
+ * **start_date** the system start date (YYYY[-MM])
+ * **end_date** (optional) the system end date (YYYY[-MM])
+
+ * **people** (optional) a list of KWARC people involved in this
+ 
+ * **website** (optional): the system home page
+ * **repository** (optional): the system repository
+
+A system is considered active, iff it has no end date. 
\ No newline at end of file

systems/historic.md → systems/meta/historic.md

 ---
 layout: default
 title: Historic Systems
-menu_title: Historic
-menu_order: 102
+permalink: /systems/historic/
 ---
-## 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
@@ -12,11 +10,12 @@ semantic wiki, mathematical web services, and invasive OMDoc editing
 technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic
 Interoperability and to establish scientific Communities of Practice.
  
-
-listing to be generated here.
-
-
-
-
-
-
+{% assign systems = site.pages | where: "layout", "system" | sort: "pillar" | sort: "start_date" %}
+
+<ul class="collection">
+    {% for item in systems %}
+        {% if item.end_date %}
+            {% include psitem.html %}
+        {% endif %}
+    {% endfor %}
+</ul>
\ No newline at end of file

systems/meta/index.md

+---
+layout: default
+title: Systems
+permalink: /systems/
+---
+
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
+
+<ul class="collection">
+    {% for item in systems %}
+        {% unless item.end_date %}
+            {% include psitem.html %}
+        {% endunless %}
+    {% endfor %}
+</ul>
\ No newline at end of file

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
+
+start_date: 2011-03
+
+people: 
+    - frabe
+    - dmueller
+    - twiesing
+    - miancu
+    - fhorozal
+
+website: https://uniformal.github.io/
+repository: https://github.com/Uniformal/MMT
 ---
 
 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: system
+
 menu_title: MathWebSearch
 title: "MathWebSearch a Mathematical Search Engine"
-pillar: KMR
-start: 2005
-people: mkohlhase,isucan,cprodescu,rhambasan,ahambasan
+
+start_date: '2005'
+
+people: 
+    - mkohlhase
+    - isucan
+    - cprodescu
+    - rhambasan
+    - ahambasan
+
+website: http://search.mathweb.org
+repository: http://githhub.com/KWARC/mws
 ---
 
 The MathWebSearch system (MWS) is a content-based search engine for mathematical
 formulae. It indexes MathML formulae, using a technique derived from automated theorem
-proving: Substitution Tree Indexing. Find more information at the
-[Project Overview Page](http://search.mathweb.org) or the
-[GitHub Repository](http://githhub.com/KWARC/mws).
+proving: Substitution Tree Indexing. 

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
+
+start_date: '1998'
+
+people: 
+    - mkohlhase
+
+website: http://omdoc.org
+repository: https://github.com/OMDoc
 ---
 
 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/openmathmap.md

 ---
 layout: system
+
 title: OpenMathMap
 teaser: A Map of Mathematics
-start: 2013-06
+
+start_date: 2013-06
+
+people:
+    - mkohlhase
+
+website: http://map.mathweb.org
 repository: https://github.com/KWARC/openmathmap/
-homepage: http://map.mathweb.org
-people: mkohlhase
 ---
 OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data.

systems/sTeX.md

 ---
 layout: system
-menu_title: sTeX
+
 title: "sTeX: Semantic Markup for LaTeX"
-pillar: semantization
-start: 2004-09
-people: mkohlhase,dginev
+
+start_date: 2004-09
+
+people: 
+    - mkohlhase
+    - dginev
+
+repository: https://github.com/KWARC/sTeX
 ---
+
 The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
-system allows to embed [/structural semantics](/research/structural-semantics) into documents. For details see the [sTeX project on GitHub](https://github.com/KWARC/sTeX).
+system allows to embed [/structural semantics](/research/structural-semantics) into documents.