diff options
| author | Erik Martin-Dorel | 2020-04-02 20:20:00 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-04-02 20:20:00 +0200 |
| commit | 1f56706ff2f0870a461ded0f5a40292df8bcd96a (patch) | |
| tree | 4f7adeea6fa6ae64c51d29243a620a5e762eec53 /doc/Makefile | |
| parent | 0204fb90c5b6bed081ab407c8d92e015cad99fdf (diff) | |
Rephrase ProofGeneral.texi following PR #476 that fixed #475
Note that currently, there is no keybinding associated to the electric
terminator.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions