diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-12 20:01:25 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-30 15:55:55 +0200 |
| commit | d6873d8bf7272eb45c06d5f5a810302525a12226 (patch) | |
| tree | cff1eb898453086b5d3721b7cca493d282223337 /toplevel/search.ml | |
| parent | a82eb26100d55110ce7d7cb508d49d1fad8ebd37 (diff) | |
Coq_makefile takes advantages of -I -Q -R cleanup
Diffstat (limited to 'toplevel/search.ml')
0 files changed, 0 insertions, 0 deletions