aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
diff options
context:
space:
mode:
Diffstat (limited to '_CoqProject')
-rw-r--r--_CoqProject3
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject
index 89404292d..fac637589 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,3 +1,6 @@
-R src Crypto
-R fiat/src Fiat
+src/Galois/GaloisField.v
+src/Galois/GaloisFieldTheory.v
src/Curves/Curve25519.v
+src/Assembly/Assembly.v