add diagram sharing design and tla verification specs#74

fabracht merged 3 commits into

mainLabOverWire/MQDB:mainfrom

diagram-sharing-designLabOverWire/MQDB:diagram-sharing-designCopy head branch name to clipboard