bump appendix version

logsem · Nov 9, 2024 · 7e59cd8 · 7e59cd8
1 parent 425cd0f
commit 7e59cd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -29,7 +29,7 @@
           proof assistant</p>
         <p>
           <a href="https://gitlab.mpi-sws.org/iris/iris/" class="btn btn-primary">Coq Formalization</a>
-          <a href="https://plv.mpi-sws.org/iris/appendix-4.2.pdf" class="btn btn-primary">Technical Reference (v4.2)</a>
+          <a href="https://plv.mpi-sws.org/iris/appendix-4.3.pdf" class="btn btn-primary">Technical Reference (v4.3)</a>
           <a href="https://lists.mpi-sws.org/listinfo/iris-club" class="btn btn-primary">Mailing List</a>
           <a href="chat.html" class="btn btn-primary">Chat</a>
         </p>