Commit d2267e8b authored by Robbert Krebbers's avatar Robbert Krebbers

Fix broken links.

parent 5fc7f232
Pipeline #24346 failed with stage
in 13 minutes and 6 seconds
...@@ -38,12 +38,12 @@ work on exercise 4 and 5. ...@@ -38,12 +38,12 @@ work on exercise 4 and 5.
## Documentation ## Documentation
The files [`ProofMode.md`] and [`HeapLang.md`] in the Iris repository contain a The files [`proof_mode.md`] and [`heap_lang.md`] in the Iris repository contain a
list of the Iris Proof Mode tactics as well as the specialized tactics for list of the Iris Proof Mode tactics as well as the specialized tactics for
reasoning about HeapLang programs. reasoning about HeapLang programs.
[`ProofMode.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/ProofMode.md [`proof_mode.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/docs/proof_mode.md
[`HeapLang.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/HeapLang.md [`heap_lang.md`]: https://gitlab.mpi-sws.org/iris/iris/blob/master/docs/heap_lang.md
If you would like to know more about Iris, we recommend to take a look at: If you would like to know more about Iris, we recommend to take a look at:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment