diff options
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 |