partially revert: Un-domain self-links

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

partially revert: Un-domain self-links #110

Closed extradosages closed 7 months ago

extradosages commented 7 months ago

It is likely that ac5bfcfef79b9a395b8eadb24473eb213f4cd9eb may have accidentally ruined some links.

At least the following two pages are currently 404ing:

https://lean-lang.org/theorem_proving_in_lean4/title_page.html
https://lean-lang.org/functional_programming_in_lean/

Kha commented 7 months ago

It is likely that https://github.com/leanprover/lean-lang.org/commit/ac5bfcfef79b9a395b8eadb24473eb213f4cd9eb may have accidentally ruined some links.

(it didn't)