diff options
| author | David Aspinall | 2001-12-11 13:15:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 13:15:49 +0000 |
| commit | 298cfde00ec1dc2437aa4389673e87082167ffdd (patch) | |
| tree | 3d374a9f698211019cfe9bc48b40ea59cbf9db57 /isar/Example.thy | |
| parent | 1cac59a4b186b368f10019b857efe35cd9cab9e7 (diff) | |
Disable customize-menu-create for Emacs 21.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions