https://jscoq.github.io/scratchpad.html is on 8.12.2, https://coq.vercel.app/ is 8.14.1. How do I test out something in latest master in jscoq?
Hi @Jason Gross :wave: ! I guess we should take down jscoq.github.io or have all the pages redirect to their respective Vercel instances (the main page already does). We also plan to make a drop-down for version selection but never seem to get to it. Currently you can access the preview of the upcoming version (right now that's 8.15.0) as https://coq-next.now.sh. The latest bleeding-edge version from our CI is available as https://coq-p-wr.now.sh, but it may be broken at times.
I also keep a few versions back, e.g. http://coq-0-13-3.vercel.app (jsCoq 0.13.3, which is Coq 8.13.2). I still haven't decided what to do with those.
Last updated: Jun 10 2023 at 06:31 UTC