diff options
| author | Théo Zimmermann | 2019-03-25 16:44:54 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-26 10:02:01 +0100 |
| commit | 84f7aa2cdfbe6066c482805336e656b9de6d4762 (patch) | |
| tree | dcf331a12241154823a65ef9d684ca53a2cd92bb /doc/plugin_tutorial/tuto1/src/simple_declare.ml | |
| parent | fd065eae52dde32bcb95955f6da9280fed780729 (diff) | |
Fix syntax of Typeclasses eauto := in reference manual.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_declare.ml')
0 files changed, 0 insertions, 0 deletions