Technical directions on adding a system

To add a new system, create a file in this directory, taking the existing files as examples.

Each post needs some specific parameters:

• layout use system

• title the title of the system

• teaser (optional) a one-line description for the overview

• 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.