Removal of the FAQ page.

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed mattjquinn closed 6 years ago

mattjquinn commented 6 years ago

The Coq FAQ has been moved to the GitHub wiki section of the main Coq source repository. Issue #6180 of that repository:

tracks that now-completed work. The plan is for https://coq.inria.fr/faq to be redirected to https://github.com/coq/coq/wiki/The-Coq-FAQ from now on.

This pull request simply removes pages/faq.html from this repository.

Zimmi48 commented 6 years ago

To be merged when the redirection is set up. (cc @letouzey)

letouzey commented 6 years ago

Merged now that the redirect to Github Wiki is in place. Thanks