diff options
| author | Enrico Tassi | 2019-05-26 21:37:42 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-05-26 21:37:42 +0200 |
| commit | 4e324a95217bedae198360d1078e3b664fb2deea (patch) | |
| tree | 63885f5108d28f4089d2126f78262b2ac1a3374d /plugins/syntax/string_notation.ml | |
| parent | 51dc650f8b47a7381c19376793871817f2ef9578 (diff) | |
| parent | c51f3ea0070e08f66d5a2be6973f707342a8aa35 (diff) | |
Merge PR #10220: Use new coqrst syntax for alternatives in SSReflect chapter.
Reviewed-by: gares
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions