From 0d07f4f3c15f36f53a8ae0bf5d15c6d155e3bea5 Mon Sep 17 00:00:00 2001 From: Rafal Kolanski Date: Fri, 9 Aug 2024 05:03:48 +1000 Subject: [PATCH] docs: use internet archive for isabelle.systems The isabelle.systems site appears to be down for a while, use archive to stop the constant PR links failures while we think of a longer-term solution. Signed-off-by: Rafal Kolanski --- docs/conventions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conventions.md b/docs/conventions.md index 9a4e95d059..dc6c34e7d8 100644 --- a/docs/conventions.md +++ b/docs/conventions.md @@ -41,7 +41,7 @@ correct material in here! circumstances will be transformed into `?x2.0` which is harder to work with), but don't overuse `'`, i.e. `x'''` is not a good name. -[1]: https://isabelle.systems/conventions/naming.html +[1]: https://web.archive.org/web/20220810201813/https://isabelle.systems/conventions/naming.html ## Directories