diff options
| author | Assia Mahboubi | 2008-01-30 09:43:34 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2008-01-30 09:43:34 +0000 |
| commit | 5a99aaa03c8609c9f94662797a177a79f1735eb1 (patch) | |
| tree | e6cf1c3fefcf1ab61eaab76a857d20a0365c0d10 /generic/proof-script.el | |
| parent | 55e2be93dcbb1f9d0b0bf44157eae684672c77be (diff) | |
Added a boolean defcustom test to make optional the highlight of variables
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions