diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2011-05-06 16:58:16 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2011-05-06 16:58:18 +0200 |
| commit | a27769042232c3d3b5c72113a2419277390a9e27 (patch) | |
| tree | cb14460496b01df988e8d4171527026c5e60fac7 /.emacs | |
| parent | 5ac5a5c35b70fdafaccb080d2595b6a0624ee1a6 (diff) | |
| download | dotfiles-a27769042232c3d3b5c72113a2419277390a9e27.tar.gz dotfiles-a27769042232c3d3b5c72113a2419277390a9e27.tar.bz2 dotfiles-a27769042232c3d3b5c72113a2419277390a9e27.zip | |
Emacs changes for new PG and Isabelle version
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -20,7 +20,7 @@ ;; key bindings (add-hook 'proof-mode-hook - (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-token-insert))) + (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token))) (custom-set-variables ;; custom-set-variables was added by Custom. @@ -28,13 +28,12 @@ ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. '(indent-tabs-mode nil) - '(isar-display:long-names nil) '(isar-display:show-main-goal t) - '(isar-display:show-sorts nil) - '(isar-display:show-types nil) '(isar-maths-menu-enable t) + '(isar-tracing:auto-try nil) '(isar-unicode-tokens-enable t) '(isar-unicode-tokens2-enable t) + '(isar-use-find-theorems-form t) '(isar-x-symbol-enable nil) '(proof-delete-empty-windows nil) '(proof-imenu-enable t) @@ -45,10 +44,14 @@ ;; If you edit it by hand, you could mess it up, so be careful. ;; Your init file should contain only one such instance. ;; If there is more than one, they won't work right. - '(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 123 :width normal :foundry "unknown" :family "DejaVu Sans Mono")))) + '(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 111 :width normal :foundry "unknown" :family "DejaVu Sans Mono")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) + '(isabelle-quote-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) + '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) '(linum ((t (:inherit (shadow default) :foreground "gold")))) + '(proof-boring-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) '(proof-highlight-dependency-face ((((type x) (class color) (background dark)) (:background "peru" :foreground "black")))) '(proof-highlight-dependent-face ((((type x) (class color) (background dark)) (:background "darkorange" :foreground "black")))) + '(proof-region-mouse-highlight-face ((((type x) (class color) (background dark)) (:background "yellow3" :foreground "black")))) '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black"))))) |