diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-02-23 18:22:37 +0100 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2012-02-23 18:22:37 +0100 |
| commit | c538380ef3915c9c1adc036fc8d2292331898fc9 (patch) | |
| tree | d797ca02fc7b44546464b2156a686ec3b34aaac9 /.emacs | |
| parent | e3adc6d7ce5bc4737ef8c8fceec6f82094224252 (diff) | |
| download | dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.tar.gz dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.tar.bz2 dotfiles-c538380ef3915c9c1adc036fc8d2292331898fc9.zip | |
Do not use the find-theorems-form in PG
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -36,7 +36,7 @@ '(isar-tracing:auto-try nil) '(isar-unicode-tokens-enable t) '(isar-unicode-tokens2-enable t) - '(isar-use-find-theorems-form t) + '(isar-use-find-theorems-form nil) '(isar-x-symbol-enable nil) '(proof-delete-empty-windows nil) '(proof-imenu-enable t) |