diff options
| author | Toni Dietze | 2020-05-06 13:49:23 +0200 |
|---|---|---|
| committer | Toni Dietze | 2020-05-06 13:49:23 +0200 |
| commit | 9bd6175a864dbaebce49c49416651b6532a9f7ee (patch) | |
| tree | c5bd673e6aeece54aebf4500d5120b2785b2a04c /.github | |
| parent | 24e1c5ae3dec16c972babcf44786eb7eff3c6b53 (diff) | |
doc/ProofGeneral.texi: fix makeinfo
Fixes the following error:
node `Coq Proof General' lacks menu item for `Proof using annotations' despite being its Up target
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions