diff options
| -rw-r--r-- | .emacs | 13 | ||||
| -rw-r--r-- | .emacs.d/custom.el | 1 |
2 files changed, 9 insertions, 5 deletions
@@ -26,6 +26,11 @@ (color-theme-initialize) (color-theme-charcoal-black) +;; set default font +;; this is needed since Emacs-24 to also set all future frames +;; (setting 'default' in custom-set-faces seems not to work anymore) +(add-to-list 'default-frame-alist '(font . "Inconsolata-11")) + ;; use Poly/ML as SML interpreter (setq sml-program-name "poly") @@ -33,10 +38,10 @@ ;; we need to toggle options twice to make them work (defun isabelle-repair (what part) (let* - ((msg (format "Repairing Auto %s" (capitalize what))) + ((msg (format "Repairing %s" (capitalize what))) ; create the variable from `what` and `part` ; replace spaces by "-" in `what` - (var (format "isar-%s:auto-%s" part + (var (format "isar-%s:%s" part (mapconcat 'identity (split-string (downcase what)) "-"))) (vart (concat var "-toggle")) (repair `(lambda () @@ -50,8 +55,8 @@ (add-hook 'proof-shell-init-hook repair))) -(isabelle-repair "solve direct" "tracing") -(isabelle-repair "quickcheck" "tracing") +(isabelle-repair "auto solve direct" "tracing") +(isabelle-repair "auto quickcheck" "tracing") ;; custom file (setq custom-file "~/.emacs.d/custom.el") diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index b0eac92..ee87a4e 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -23,7 +23,6 @@ ;; 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 113 :width normal :foundry "unknown" :family "Inconsolata")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) '(isabelle-quote-face ((t (:foreground "grey21")))) '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) |