Stream: SerAPI

Topic: Documentation link is dead


view this post on Zulip hkalbasi (Jan 25 2021 at 16:49):

https://github.com/ejgallego/coq-serapi/issues/226
Can I find it somewhere else? Is it a typo on url?

Hi, protocol documentation link in the README is broken, hope that you can fix it. Thanks!

view this post on Zulip Tej Chajed (Jan 26 2021 at 03:22):

posted a comment in the issue as well, but it seems to now be rendered at https://ejgallego.github.io/coq-serapi/coq-serapi/Serapi_protocol/index.html

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2021 at 10:07):

Thanks @Tej Chajed , indeed I need to better automate this.


Last updated: Nov 29 2023 at 05:01 UTC