diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-11-06 16:55:32 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-11-06 16:55:32 -0500 |
| commit | 6b7ec7903006880659d7a05de80b1472887a50ab (patch) | |
| tree | 6c2af08fd606517c0ffb08f7bfdbf34ed0f5d793 /_CoqProject | |
| parent | 06575718a966e87903a883b736b3623d580800fd (diff) | |
| parent | 42ba677296b78b93396f031c57045116b9361897 (diff) | |
Merge remote-tracking branch 'jadep/master'
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 016c1a00b..0e56c1ee2 100644 --- a/_CoqProject +++ b/_CoqProject @@ -10,6 +10,7 @@ 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/Assembly/WordBounds.v src/Curves/Curve25519.v |