diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2013-01-17 16:44:40 +0100 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2013-01-17 16:44:42 +0100 |
| commit | e858ff7199a768b10b1a3e565b9f8fe1caae3575 (patch) | |
| tree | 682667d81f9a81a613aae54baa69bcbe6a180b84 | |
| parent | fdf6fff2527e11f6c8daac9d64cc661fd02fd406 (diff) | |
| download | dotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.tar.gz dotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.tar.bz2 dotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.zip | |
Also fix quick-and-dirty in PG
Diffstat (limited to '')
| -rw-r--r-- | .emacs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -76,6 +76,7 @@ (isabelle-repair "auto solve direct" "tracing") (isabelle-repair "auto quickcheck" "tracing") +(isabelle-repair "quick and dirty" "proof") ;; custom file (setq custom-file "~/.emacs.d/custom.el") |