Bs7 citations#182

stumbo merged 2 commits intomainstumbo/InterlispDraft.github.io:mainfrom

bs7_citationsstumbo/InterlispDraft.github.io:bs7_citationsCopy head branch name to clipboard