coq api documentation on github · Miscellaneous

Stream: Miscellaneous

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:

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: May 31 2023 at 02:31 UTC