From 9bd7f64e1a1d3d2b055a7df23d31f0ed76f28649 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Tue, 8 May 2018 12:24:30 +0200
Subject: intermediary stage with an EConstr containing a hand-made evar, fauty

---
 tuto3/_CoqProject | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tuto3/_CoqProject

(limited to 'tuto3/_CoqProject')

diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject
new file mode 100644
index 0000000000..22d357542a
--- /dev/null
+++ b/tuto3/_CoqProject
@@ -0,0 +1,7 @@
+-R theories Tuto3
+-I src
+
+theories/Loader.v
+
+src/g_tuto3.ml4
+src/tuto3_plugin.mlpack
\ No newline at end of file
-- 
cgit v1.2.3