Stream: Miscellaneous

Topic: coq api documentation on github


view this post on Zulip Navaneeth M Nambiar (Apr 05 2021 at 09:48):

Hi all, new here and beginner to Coq. Unsure where to post this, so posting here
I was exploring coq and was tasked with writing a plugin for it

I used to refer to the api documentation which I got from the github repo
The link - https://coq.github.io/doc/master/api/coq/index.html

However, as of recent, the link turns empty. Couldn't find any other posts on it (or I could have missed that)
The exact link I was referring to was this - https://coq.github.io/doc/master/api/coq/Global/index.html
This now goes 404

looking at the repo, perhaps a recent commit broke it
However, only master seems to be affected
while version links work fine i.e. like this : https://coq.github.io/doc/v8.12/api/coq/Global/index.html

Hope I'll let you know about it and someone can look more into it :smile:

view this post on Zulip Théo Zimmermann (Apr 05 2021 at 15:30):

Hi @Navaneeth M Nambiar. Yes, this is known and expected. The core APIs can now be found in https://coq.github.io/doc/master/api/coq-core/index.html


Last updated: Aug 14 2022 at 11:02 UTC