search

seL4 / l4v

seL4 specification and proofs
https://sel4.systems
Other
504 stars 105 forks source link

docs: use internet archive for isabelle.systems #810

Closed Xaphiosis closed 1 month ago

Xaphiosis commented 1 month ago

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.

Xaphiosis commented 1 month ago

Whoever approves this, feel free to merge.