equal
deleted
inserted
replaced
2160 '(progn |
2160 '(progn |
2161 ;; (proof-maths-menu-toggle 1) |
2161 ;; (proof-maths-menu-toggle 1) |
2162 ;; (unicode-tokens-mode 1) |
2162 ;; (unicode-tokens-mode 1) |
2163 ;; (proof-imenu-toggle 1) |
2163 ;; (proof-imenu-toggle 1) |
2164 )) |
2164 )) |
|
2165 (eval-after-load 'isar |
|
2166 '(progn |
|
2167 (define-key isar-mode-map (kbd "C-c C-m") 'proof-goto-point) |
|
2168 )) |
2165 |
2169 |
2166 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2170 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2167 (message "printing") |
2171 (message "printing") |
2168 |
2172 |
2169 ;; Use Notepad to print plain text files to the default Windows printer |
2173 ;; Use Notepad to print plain text files to the default Windows printer |