search

UniMath / Schools

77 stars 21 forks source link

Update the URLs of ProofGeneral online doc #40

Closed erikmd closed 5 years ago

erikmd commented 5 years ago

Hello,

The naming convention of ProofGeneral documentation URLs has changed. Some HTTPS redirects have been set up − cf. https://github.com/coq/coq/pull/10261#discussion_r289635960 −, unfortunately they do not support anchor redirection. Hence this PR.

Kind regards, Erik

benediktahrens commented 5 years ago

That's great, thanks a lot!