diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:21:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:21:59 +0000 |
| commit | 42fadfd4d4de3fe4147e3fdd181240621d0d5176 (patch) | |
| tree | 6645a7248e07e90f94aa5064a2843fe20a255904 /coq/coq-local-vars.el | |
| parent | c446040803475a55760a192742cdb8a297e62df3 (diff) | |
proof-toolbar-setup: do the right thing (map across all PG buffers)
Diffstat (limited to 'coq/coq-local-vars.el')
0 files changed, 0 insertions, 0 deletions