orm#77

eluce2 wants to merge 3 commits intographite-base/77proofgeist/proofkit:graphite-base/77from

12-07-ormproofgeist/proofkit:12-07-ormCopy head branch name to clipboard