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

teaching

  • Clone with SSH
  • Clone with HTTPS
  • Forked from KWARC / kwarc.info / www
    1201 commits behind the upstream repository.
    user avatar
    Michael Kohlhase authored
    e31af9d1
    History
    Name Last commit Last update
    ..
    AIProj.md
    KRMT.md
    README.md
    ai1.md
    ai2.md
    wuv.md

    Technical directions on adding a course/seminar

    To add a new course/seminar, create a file in this directory, taking the existing files as examples.We keep the pages in the language the course will be in.

    Each file needs some specific parameters:

    • layout use course
    • title the title of the course/seminar
    • subtitle (optionnal) a subtitle. It will be adjuncted to your title in the post link and just under the title in the post page
    • instructor instructors
    • menu_title the title in the menu