[submodule "doc"] path = doc url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git