This looks awesome! I'm a big fan of CodeMirror and I will definitely play with this tool as well.

Quick note: the Markdown example page (http://prosemirror.net/examples/markdown/) has a javascript error that's keeping the editor from loading.

Thanks for all your hard work.