diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:26:23 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:26:23 +0000 |
commit | 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a (patch) | |
tree | 1a9665e8984038a34b6bea9413f6d734b360d6f3 /_CoqProject | |
parent | 0047efca720eadc6d5a91b99318be985380b5fd6 (diff) | |
download | vericert-04c3cd732ba75f22580b8cae4f8e6a64151d1a1a.tar.gz vericert-04c3cd732ba75f22580b8cae4f8e6a64151d1a1a.zip |
Add Makefile and _CoqProject
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 0000000..b08c163 --- /dev/null +++ b/_CoqProject @@ -0,0 +1 @@ +-R CoqUp CoqUp |