CHANGES.md · de36c7f7609cab59715c1410ff4304c548cf9e93 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

4 years ago
de36c7f7
[feature] [ui] More precise location of error indicator. · de36c7f7
Shachar Itzhaky authored 4 years ago
```
Previous behavior was to mark the whole sentence.
Now, the location reported as part of `CoqExn` is used.
```
de36c7f7

History
[feature] [ui] More precise location of error indicator.
Shachar Itzhaky authored 4 years ago
```
Previous behavior was to mark the whole sentence.
Now, the location reported as part of `CoqExn` is used.
```