Bootstrap the general construction

jashug · Oct 28, 2020 · 8a968e2 · 8a968e2
1 parent 15deeac
commit 8a968e2
Show file tree

Hide file tree

Showing 10 changed files with 752 additions and 20 deletions.
diff --git a/.gitignore b/.gitignore
@@ -10,8 +10,8 @@ paper/whynotw.pdf
 code/Makefile.coq
 code/Makefile.coq.conf
 code/.Makefile.coq.d
-code/*.vo
-code/*.vok
-code/*.vos
-code/*.glob
-code/.*.aux
+code/**/*.vo
+code/**/*.vok
+code/**/*.vos
+code/**/*.glob
+code/**/.*.aux