CodeMirror bindings
Migrated Isabelle Parsing to Scala-js
reactive.ui.App -> reactive.ui.JSApp