minimal 2021 setup

blanchette · May 25, 2021 · ee49b4f · ee49b4f
1 parent 9d8a966
commit ee49b4f
Show file tree

Hide file tree

Showing 31 changed files with 8,707 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,3 +1,3 @@
-# Logical Verification 2020: Installation Instructions
+# Logical Verification 2021: Installation Instructions
 
 TODO.
diff --git a/hitchhikers_guide.pdf b/hitchhikers_guide.pdf
diff --git a/hitchhikers_guide_tablet.pdf b/hitchhikers_guide_tablet.pdf