diff options
| author | Théo Zimmermann | 2019-01-23 13:03:10 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-23 13:03:10 +0100 |
| commit | 6be3f746d84028297b5d9888684e716b91cd8824 (patch) | |
| tree | 4e81feb3ed638550cd0cee5444f14dfa0ca3be0e /plugins/syntax/numeral_notation_plugin.mlpack | |
| parent | 163000a8326ad559d2a0581608f2ccc83fe3beee (diff) | |
Improve the note in the beginning of the Ltac chapter.
In particular, add an example to illustrate the associativity of ;
Diffstat (limited to 'plugins/syntax/numeral_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions