diff options
| author | David Aspinall | 2009-09-07 09:12:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-07 09:12:57 +0000 |
| commit | c48d00f6129e66047c4df261f776f4c8aaa49b0b (patch) | |
| tree | 909da041c1768b2109d6d59fbaea00be3e141dc5 /lib | |
| parent | ba364c8e3347a775afba434a7aa4abeecd4d52d4 (diff) | |
isar-use-find-theorems-form: use defcustom, not defpacustom
isar-keywords-name: fix custom group
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions