diff options
| author | Yves Bertot | 2018-11-05 14:50:26 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-05 14:50:26 +0100 |
| commit | 6617535fd1666a7010c6eb9a81b4405e9d4f9c8d (patch) | |
| tree | 8d986606f5ed977bcd57397de930d6f88ee322ee /doc/plugin_tutorial/tuto1/src/simple_check.mli | |
| parent | 58b9174b229863c694ad65984b86b112c689ae10 (diff) | |
| parent | e6c64a54f8f52ff555a0857a2909f5f70b22e591 (diff) | |
Merge pull request #12 from SkySkimmer/command-atts
Fix for coq/coq#8515 (command driven attributes)
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.mli')
0 files changed, 0 insertions, 0 deletions