diff options
| author | David Aspinall | 2009-09-09 23:04:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-09 23:04:49 +0000 |
| commit | 0f1ca309aa2726d99d99c643f6a000daef940cf7 (patch) | |
| tree | 1c4f3c661417eacda8de16cadb95ad1f073ac165 /generic/proof-script.el | |
| parent | 0c7ee8ef40ac47b95a6f0010024e77029eb99d40 (diff) | |
Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positions
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions