Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

README.md

Blame
    • Forked from KWARC / kwarc.info / www
    1109 commits behind the upstream repository.
    README.md 688 B

    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.