diff options
| author | Maxime Dénès | 2019-04-25 12:02:43 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-25 12:09:44 +0200 |
| commit | 66b6e83f4f4c32ad86333e13d65329be02c46048 (patch) | |
| tree | a7c2ae2edfe69f8a207d990b6f34f7a497615a27 /_CoqProject | |
| parent | 5131640774d0256a390790b5becc864935585ce8 (diff) | |
Prepare merge into Coq
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/_CoqProject b/_CoqProject deleted file mode 100644 index dda5a8001a..0000000000 --- a/_CoqProject +++ /dev/null @@ -1,51 +0,0 @@ --R theories/ Ltac2 --I src/ - -src/tac2dyn.ml -src/tac2dyn.mli -src/tac2expr.mli -src/tac2types.mli -src/tac2env.ml -src/tac2env.mli -src/tac2print.ml -src/tac2print.mli -src/tac2intern.ml -src/tac2intern.mli -src/tac2interp.ml -src/tac2interp.mli -src/tac2entries.ml -src/tac2entries.mli -src/tac2ffi.ml -src/tac2ffi.mli -src/tac2qexpr.mli -src/tac2quote.ml -src/tac2quote.mli -src/tac2match.ml -src/tac2match.mli -src/tac2core.ml -src/tac2core.mli -src/tac2extffi.ml -src/tac2extffi.mli -src/tac2tactics.ml -src/tac2tactics.mli -src/tac2stdlib.ml -src/tac2stdlib.mli -src/g_ltac2.mlg -src/ltac2_plugin.mlpack - -theories/Init.v -theories/Int.v -theories/Char.v -theories/String.v -theories/Ident.v -theories/Array.v -theories/Control.v -theories/Message.v -theories/Constr.v -theories/Pattern.v -theories/Fresh.v -theories/Std.v -theories/Env.v -theories/Notations.v -theories/Ltac1.v -theories/Ltac2.v |