diff options
| author | David Aspinall | 2009-12-02 22:46:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-02 22:46:08 +0000 |
| commit | 4847bd777971f54a7dae406f5c6d0b258765df13 (patch) | |
| tree | 77a97ce52b9055f13380f802b4aa4f687309dc4d /generic/proof-script.el | |
| parent | 028c7f711a944bc0c86a0946cea86f087d8ce2a9 (diff) | |
Add proof-sticky-errors to quick options menu.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions