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: Nov 29 2023 at 17:01 UTC