diff options
| author | Stefan Monnier | 2019-05-31 00:42:05 -0400 |
|---|---|---|
| committer | Stefan Monnier | 2019-05-31 00:42:05 -0400 |
| commit | 104db184b8c29e4b8eb2240b68f0b389c2b92480 (patch) | |
| tree | e7593bcb32d83c51dd26d39facb3768d4ea1686a /pgshell/example.pgsh | |
| parent | 0058999ac42d7d1b3ee093aa5a4e8956d1eb8a9c (diff) | |
* coq/coq-diffs.el (coq-insert-tagged-text): Rework to avoid `aset`
(coq-insert-with-face): Don't assume we're at EOB.
* generic/pg-goals.el (pg-goals-display): Use with-current-buffer.
* generic/pg-response.el (pg-response-maybe-erase): Narrow the scope of
inhibit-read-only.
(pg-response-display-with-face): Use `member`. Remove unused var `end`.
Only bind `start` when we have a value for it.
(proof-trace-buffer-display): Use with-current-buffer.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions