diff options
| author | Emilio Jesus Gallego Arias | 2019-07-01 02:04:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-08-14 17:55:19 +0200 |
| commit | d2bf9204b83682f0da579fc3accf35125e55c302 (patch) | |
| tree | e6c9883d01aacdb2b2d39292586e4ba36d4c3168 /doc/plugin_tutorial/Makefile | |
| parent | c4f800a1c92c7f558cdcb1915649e2666b1a897e (diff) | |
[vernac] Pass control attributes to interpretation of delayed proofs.
Fixes #10452
Diffstat (limited to 'doc/plugin_tutorial/Makefile')
0 files changed, 0 insertions, 0 deletions