diff options
| author | Jason Gross | 2018-07-24 13:06:03 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:54 -0400 |
| commit | ebf453d4ae4e4f0312f3fd696da26c03671bc906 (patch) | |
| tree | 875586f7bf2013b57d4e19144d0d8653292c462f /plugins/syntax/string_syntax_plugin.mlpack | |
| parent | d1460484d4804f953c8997eb7d1cf9d1384a82c9 (diff) | |
Update doc and test-suite after supporting univ poly
Also make `Check S` no longer anomaly
Add a couple more test cases for numeral notations
Also add another possibly-confusing error message to the doc.
Respond to Hugo's doc request with Zimmi48's suggestion
From https://github.com/coq/coq/pull/8064/files#r204191608
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions