diff options
| author | Erik Martin-Dorel | 2019-05-04 01:28:57 +0200 |
|---|---|---|
| committer | Jim Fehrle | 2019-05-16 20:33:54 -0700 |
| commit | d8b501a5caf50ede62631e3fa30aa89f53db045f (patch) | |
| tree | 23310567f605007c028ccde44c05865b739e2ada /doc | |
| parent | e5cc6cf40887970e79c578ecbae00d79c288ccac (diff) | |
proof-syntax.el: Fix an out-of-range bug in function `proof-format'
This bug seems to date from the generalization performed in commit:
080babbb0f361885e9b502ee56dec14351104a37
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions