From cb20f241cc7ec686a5ae19c1e7b9eef6b26d230a Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Fri, 4 May 2018 16:04:54 +0200
Subject: adds more packaging boilerplate in tuto0

---
 tuto0/_CoqProject | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tuto0/_CoqProject')

diff --git a/tuto0/_CoqProject b/tuto0/_CoqProject
index 2871fcd549..ca0c0588a4 100644
--- a/tuto0/_CoqProject
+++ b/tuto0/_CoqProject
@@ -1,5 +1,8 @@
 -R theories/ Tuto0
 -I src
 
+theories/Loader.v
+src/tuto0_main.ml
+src/tuto0_main.mli
 src/g_tuto0.ml4
 src/tuto0_plugin.mlpack
\ No newline at end of file
-- 
cgit v1.2.3