diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-10-17 22:03:06 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-10-17 22:03:06 +0000 |
| commit | 9aed2b41c3222f9c8f2707a37d5d1ea1d3389042 (patch) | |
| tree | 0646da18298d42fe8711c9d2aa931d4873c17d1b /isar | |
| parent | 29872e8d7f0244cadfcadefd3262756c659f40b9 (diff) | |
disable indent-tabs-mode for theory mode;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 7aedbe07..b27a12a4 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -89,6 +89,7 @@ See -k option for Isabelle interface script." (defun isar-mode-config-set-variables () "Configure generic proof scripting mode variables for Isabelle/Isar." + (set (make-local-variable 'indent-tabs-mode) nil) (setq proof-assistant-home-page isar-web-page proof-guess-command-line 'isabelle-set-prog-name |