diff options
| author | Pierre Courtieu | 2020-04-15 22:08:26 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2020-04-15 22:08:26 +0200 |
| commit | 017d4b516713622a160eb6786c2bde5f7f6ee91e (patch) | |
| tree | b885e03ede654ece8218dcafb4ff103fde2562e1 /generic/pg-user.el | |
| parent | 59190289edf805e3de3e6025f57295a287a0cf9d (diff) | |
Fix a bug in detection of "Proof." when "proof using" insertion
Diffstat (limited to 'generic/pg-user.el')
0 files changed, 0 insertions, 0 deletions