Stream: jsCoq

Topic: changing version?


view this post on Zulip Jason Gross (Feb 18 2022 at 03:34):

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?

view this post on Zulip Shachar Itzhaky (Feb 18 2022 at 14:04):

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.

view this post on Zulip Shachar Itzhaky (Feb 18 2022 at 14:07):

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: Jan 30 2023 at 19:04 UTC