Forked from
KWARC / kwarc.info / www
1182 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
Technical directions on adding a project
To add a new project, create a file in this directory, taking the existing files as examples.
Each post needs some specific parameters:
-
layout use
project
orsoftware
- title the title of the project
- subtitle (optionnal) a subtitle. It will be adjuncted to your title in the post link and just under the title in the post page
- start (optional) the project start date
- end (optional) the project end date
-
pillar (optional) the pillar (in the sense of http://kwarc.info/research) of the
project); use one of
semantization
,KMR
, orfoundations
. - redirect_from (optional) not needed for new projects, this is just the redirect link from old activities pages on the former site.
- funding (optional): the funding body, DFG, Leibniz Foundation, EU, Industry