diff options
author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-23 16:22:24 -0400 |
---|---|---|
committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2016-07-23 16:22:24 -0400 |
commit | a3a7c528787411373bb857af4b51f3003f9fcc2b (patch) | |
tree | 364a89e76f79bbf82818401a2e1fc2d37f7f84cc /Make | |
parent | 2614d6df738735538ea381e44bad1279269676c1 (diff) | |
parent | 17564e4922acda6b72bf39de7a8c23ed0c0178f6 (diff) |
Merge tag 'upstream/8.5.1'
Upstream version 8.5.1
Diffstat (limited to 'Make')
-rw-r--r-- | Make | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -0,0 +1,21 @@ +-I . +-R . AAC_tactics +coq.mli +helper.mli +search_monad.mli +matcher.mli +theory.mli +print.mli +rewrite.mli +coq.ml +helper.ml +search_monad.ml +matcher.ml +theory.ml +print.ml +rewrite.ml4 +aac.mlpack +AAC.v +Instances.v +Tutorial.v +Caveats.v |