Skip to content
Snippets Groups Projects
Select Git revision
  • master
1 result

papers

  • Michael Kohlhase's avatar
    Michael Kohlhase authored
    subrepo:
      subdir:   "cicm16/bibs"
      merged:   "3abd672"
    upstream:
      origin:   "https://github.com/KWARC/bibs"
      branch:   "master"
      commit:   "3abd672"
    git-subrepo:
      version:  "0.3.1"
      origin:   "git@github.com:ingydotnet/git-subrepo.git"
      commit:   "ea9af4f"
    6340989f
    History
    Name Last commit Last update
    PIC
    cicm14
    cicm16
    manual
    soa
    tikz
    .gitignore