1 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
2 ;; |
|
3 ;; Default parameters for emacs 19.27.1 |
|
4 |
|
5 ;; activate 8bit chars |
|
6 ;; ...for all new buffers |
|
7 (setq default-ctl-arrow "z") |
|
8 ;; ...and for the still active buffer |
|
9 (setq ctl-arrow "z") |
|
10 ;; Switch to ISO display |
|
11 ;(standard-display-european 1) |
|
12 ;(require 'iso-syntax) |
|
13 |
|
14 |
|
15 (setq default-frame-alist |
|
16 '( |
|
17 (font . "isabelle14") |
|
18 (icon-type . t) |
|
19 (menu-bar-lines . 1) |
|
20 (width . 80) |
|
21 (height . 30) |
|
22 )) |
|
23 |
|
24 (transient-mark-mode 1) |
|
25 |
|
26 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
27 ;; MOUSE |
|
28 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
29 |
|
30 (global-unset-key [mouse-3]) |
|
31 (global-set-key [mouse-3] 'kill-region) |
|
32 |
|
33 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
34 ;; some defaults |
|
35 |
|
36 (setq-default case-fold-search nil) |
|
37 (setq fill-column 64) |
|
38 |
|
39 (setq text-mode-hook 'turn-on-auto-fill) |
|
40 |
|
41 (setq make-backup-files nil) |
|
42 (put 'eval-expression 'disabled nil) |
|
43 (setq auto-mode-alist (mapcar 'purecopy |
|
44 '(("\\.c$" . c-mode) |
|
45 ("\\.h$" . c-mode) |
|
46 ("\\.tex$" . TeX-mode) |
|
47 ("\\.itex$" . TeX-mode) |
|
48 ("\\.txi$" . Texinfo-mode) |
|
49 ("\\.el$" . emacs-lisp-mode) |
|
50 ("\\.a$" . c-mode)))) |
|
51 |
|
52 |
|
53 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
54 ;; |
|
55 ;; Note: C-c <letter> sequences are reserved for users own bindings |
|
56 ;; |
|
57 |
|
58 (defun Ctl-C-prefix () ; Use Ctl-C as a command prefix |
|
59 Ctl-C-keymap) |
|
60 (setq Ctl-C-keymap (make-keymap)) ; allocate Ctl-C keymap table |
|
61 (global-set-key "\C-c" (Ctl-C-prefix)) ; define Ctl-C function |
|
62 |
|
63 (define-key Ctl-C-keymap "g" 'goto-line) |
|
64 |
|
65 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
66 ;; define an alternate keymap |
|
67 ;; |
|
68 |
|
69 (defvar cursor-map-2 (make-keymap) "for ESC-[") |
|
70 (fset 'Cursor-Map-2 cursor-map-2) |
|
71 (define-key esc-map "[" 'Cursor-Map-2) |
|
72 |
|
73 (define-key esc-map "[[B" 'byte-compile-file) |
|
74 (define-key esc-map "[[E" 'eval-defun) |
|
75 (define-key esc-map "[[F" 'eval-current-buffer) |
|
76 (define-key esc-map "[[G" 'eval-region) |
|
77 (define-key esc-map "[[L" 'load-file) |
|
78 (define-key esc-map "[[R" 'replace-regexp) |
|
79 |
|
80 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
81 ;; AUC - TeX |
|
82 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
83 |
|
84 (require 'tex-site) |
|
85 (setq TeX-auto-global nil) |
|
86 (setq TeX-auto-local nil) |
|
87 (setq-default TeX-parse-self nil) |
|
88 (setq-default TeX-auto-save nil) |
|
89 |
|
90 (setq LaTeX-default-options "german,a4,12pt") |
|
91 (setq TeX-auto-untabify nil) |
|
92 |
|
93 (setq LaTeX-mode-hook '(lambda () (local-unset-key "\"") |
|
94 (auto-fill-mode 1) |
|
95 )) |
|
96 |
|
97 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
98 ;; ispell |
|
99 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
100 |
|
101 (setq ispell-highlight-face 'modeline) |
|
102 |
|
103 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
104 ;; ISABELLE |
|
105 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
106 |
|
107 (load-file "goalify.el") |
|
108 (define-key Ctl-C-keymap "G" 'goalify) |
|
109 (define-key Ctl-C-keymap "U" 'ungoalify) |
|
110 |
|
111 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
112 ;; ISABELLE to LaTeX |
|
113 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
114 |
|
115 (define-key Ctl-C-keymap "i" '(lambda () (interactive) (insert "\\I@isa"))) |
|
116 (define-key Ctl-C-keymap "a" '(lambda () (interactive) (insert "\\I@"))) |
|
117 (define-key Ctl-C-keymap "e" '(lambda () (interactive) (insert "\\E@"))) |
|
118 |
|
119 (define-key Ctl-C-keymap "t" '(lambda () (interactive) (insert "\t"))) |
|
120 |
|