diff options
| author | David Aspinall | 2009-08-06 10:49:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-06 10:49:45 +0000 |
| commit | 6109a03f3175153bd641e58b21e4684dfd9ea8e0 (patch) | |
| tree | 77a4c0bfa7dc6b4ac985c27a292b417b82823e14 /generic/proof-script.el | |
| parent | 8972894bc9c1bd0d1e455aae1b4c0d89dd8b4a50 (diff) | |
New configuration variable proof-use-pgip-askprefs. Use setting group names in menu
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions