nuprl / code.ocelot-ide.org

GitHub Pages target for Ocelot with the current backend. This will host accounts from Spring 2021 onwards.

Deployment Instructions

The beta should have the changes which you want to deploy to production (i.e. this repo). In which case simply sync the contents of the js/ dir.