diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-04-27 12:42:27 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-04-27 12:45:57 +0200 |
| commit | f15aa7601dda9ec0827215ed34af02d8cf775b7d (patch) | |
| tree | d00421669ea6c10b22a5bb0d1a7b887f4ba50bc7 /.emacs | |
| parent | c5a260db34c7a5cf44e0266a345ab12da60f0c3d (diff) | |
| download | dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.gz dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.tar.bz2 dotfiles-f15aa7601dda9ec0827215ed34af02d8cf775b7d.zip | |
Enable auto-quickcheck in isabelle
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -70,6 +70,7 @@ ("\\z" . "\\<zeta>") ))) '(isar-tracing:auto-try nil) + '(isar-tracing:auto-quickcheck t) '(isar-unicode-tokens-enable t) '(isar-unicode-tokens2-enable t) '(isar-use-find-theorems-form nil) |