• Update to Coq 8.13.0, mostly straightforward but build requirements have changed, in particular we now require js_of_ocaml >= 3.8.0. (@ejgallego)
• Bump required compiler version to 4.10.2. (@ejgallego)
• Fixed missing indentation in pretty-printing of goals. (#126, @corwin-of-amber)
• The long-awaited settings panel. (#12, @corwin-of-amber)
• Added a Coq tutorial example (@corwin-of-amber, @mdnahas)