secc
/
seL4-L4.verified
mirror of https://github.com/seL4/l4v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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 <rafal.kolanski@proofcraft.systems>
This commit is contained in:
Rafal Kolanski 2024-08-09 05:03:48 +10:00 committed by Gerwin Klein
parent 2545cfe4a6
commit 0d07f4f3c1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conventions.md
View File

@ -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