Select Git revision
papers
-
-
- Open with
- Visual Studio Code
- IntelliJ IDEA
- Download source code
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"