diff options
| author | Yves Bertot | 2018-05-08 12:24:30 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-08 12:24:30 +0200 |
| commit | 9bd7f64e1a1d3d2b055a7df23d31f0ed76f28649 (patch) | |
| tree | c29fd2061c3e157bf6ea3fd6ae60ea6df741c54d /tuto3/_CoqProject | |
| parent | 1b420e583d731e8d22ceb44dd0bdc7bd6d7fd10a (diff) | |
intermediary stage with an EConstr containing a hand-made evar, fauty
Diffstat (limited to 'tuto3/_CoqProject')
| -rw-r--r-- | tuto3/_CoqProject | 7 |
1 files changed, 7 insertions, 0 deletions
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 |