diff options
| author | Hendrik Tews | 2021-01-25 08:17:10 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | 0440589e579fba52c0248477cde08b93f9e4cb76 (patch) | |
| tree | 488dd79a9c20284930e52c886f8a451c293746ba /doc/ProofGeneral.texi | |
| parent | 5c82792a079e3a05202486e37834689a67a71b4e (diff) | |
report arguments for closures with make magic
Switching to lexical scope and emacs using closure (instead of
lambda) broke argument printing with make magic.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions