equal
deleted
inserted
replaced
2143 (message "sh, bash") |
2143 (message "sh, bash") |
2144 |
2144 |
2145 (add-to-list 'auto-mode-alist '("\\.cygport\\'" . shell-script-mode)) |
2145 (add-to-list 'auto-mode-alist '("\\.cygport\\'" . shell-script-mode)) |
2146 |
2146 |
2147 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2147 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
2148 (message "pg, Proof General") |
|
2149 |
|
2150 (setq proof-splash-enable nil) |
|
2151 ;; (setq proof-toolbar-enable nil) |
|
2152 |
|
2153 (eval-after-load 'proof |
|
2154 '(progn |
|
2155 (proof-maths-menu-toggle 1) |
|
2156 (unicode-tokens-mode 1) |
|
2157 (proof-imenu-toggle 1) |
|
2158 )) |
|
2159 |
|
2160 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2148 (message "printing") |
2161 (message "printing") |
2149 |
2162 |
2150 ;; Use Notepad to print plain text files to the default Windows printer |
2163 ;; Use Notepad to print plain text files to the default Windows printer |
2151 ;(setq lpr-command "notepad") |
2164 ;(setq lpr-command "notepad") |
2152 ;(setq lpr-headers-switches '("/p")) ; \ mis-use these |
2165 ;(setq lpr-headers-switches '("/p")) ; \ mis-use these |