Skip to content
Snippets Groups Projects
Normal view Permalink
README.md 1.14 KiB
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    reorg
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 
    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
 * **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