• Use Dune as build system (@ejgallego @corwin-of-amber)
• Port to Coq 8.10 (@ejgallego)
• Miscellaneous improvements on the build system (@corwin-of-amber)
• [bugfix] Error with goCursor + active error stms (@corwin-of-amber)
• Goal display improvements using code from serlib (@ejgallego, @corwin-of-amber)
• Improvements on printing of feedback messages (@corwin-of-amber)
• Preliminary support for .vo compilation (@corwin-of-amber)
• Bind Ctrl-Space to auto-completion (@corwin-of-amber)
• Workaround JSOO problem with Lazy (@corwin-of-amber)
• [bugfix] Contention in autocomplete between company-coq and Tex-input (@corwin-of-amber)
• Simple UI for compiling pure-Coq projects in the browser (@corwin-of-amber, in-progress)
• Timeout support and worker reset button (@corwin-of-amber)
• Splash image (@corwin-of-amber)
• [bugfix] Scrolling issue with special symbols in company-coq (@corwin-of-amber)
• A scratchpad - a page with just an empty editor (@corwin-of-amber)
• Open/save file dialogs that support local persistence (in the browser) and files (@corwin-of-amber)
• Asynchronous document management to circumvent various race conditions (@corwin-of-amber)
• Use serlib for serialization of Coq datatypes to JSON (@ejgallego)
• New query Ast which does return a traversable Ast representation (@ejgallego)
• NPM package build for publishing (@corwin-of-amber)
• New layout using CSS flexbox (@corwin-of-amber)
• Button to interrupt long-running tactics (@corwin-of-amber)
• Decentralized build mode for addons (@corwin-of-amber)