diff options
| author | Yves Bertot | 2018-05-04 16:04:54 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-04 16:04:54 +0200 |
| commit | cb20f241cc7ec686a5ae19c1e7b9eef6b26d230a (patch) | |
| tree | ec56b21410c26c23601b48890515a6eb6534014c /tuto0/_CoqProject | |
| parent | eba06e2192d88af463fb6dec85e2f039a0a13694 (diff) | |
adds more packaging boilerplate in tuto0
Diffstat (limited to 'tuto0/_CoqProject')
| -rw-r--r-- | tuto0/_CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
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 |