diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/_CoqProject b/_CoqProject deleted file mode 100644 index d5e2c1c89..000000000 --- a/_CoqProject +++ /dev/null @@ -1,23 +0,0 @@ --R src Crypto --R fiat/src Fiat --R bedrock/Bedrock Bedrock -src/Tactics/VerdiTactics.v -src/Util/CaseUtil.v -src/Util/ListUtil.v -src/Util/NatUtil.v -src/Util/ZUtil.v -src/Util/NumTheoryUtil.v -src/Galois/Galois.v -src/Galois/GaloisTheory.v -src/Galois/ZGaloisField.v -src/Galois/GaloisExamples.v -src/Galois/AbstractGaloisField.v -src/Galois/ComputationalGaloisField.v -src/Galois/BaseSystem.v -src/Galois/ModularBaseSystem.v -src/Curves/PointFormats.v -src/Galois/EdDSA.v -src/Assembly/WordBounds.v -src/Curves/Curve25519.v -src/Specific/GF25519.v -src/Specific/EdDSA25519.v |