diff options
| author | Arnaud Spiwack | 2014-09-03 18:40:49 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-09-04 10:25:55 +0200 |
| commit | a54aefa7d2296ef3908dc21087c27250387819cc (patch) | |
| tree | 77a078a0daab703ca4e7fc6fa8010e7531107af7 /kernel | |
| parent | 3c29ea3b2e58a7f76195834e9ab43d7e99a0a323 (diff) | |
Commands like [Inductive > X := … | … | …] raise an error message instead of silently ignoring the ">" syntax.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions