diff options
| author | Hugo Herbelin | 2014-08-05 22:38:32 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-05 22:38:32 +0200 |
| commit | bc7bea8fd028e12b1d3199128c788af671176af7 (patch) | |
| tree | 381b63b30be0b6ac6fc91a14ee62578d9803208f /kernel | |
| parent | 467db5040fe2f311f8f5493f89dc8f95647a9a0b (diff) | |
CoqIDE: fixing parsing of bullets and brackets even at end of file.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions