diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-06-15 10:13:37 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-06-15 10:13:53 +0200 |
commit | 48219205d121ea3093287ac1b887fc81067fac6a (patch) | |
tree | 950c59fac8113d5097efe5b235ef042e504af61e /plugins/ltac/tauto_plugin.mlpack | |
parent | e1d68573015883301cb401861e10233f6442d9ec (diff) |
coqdep: correct support of Local Declare ML Module
Diffstat (limited to 'plugins/ltac/tauto_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions