equal
deleted
inserted
replaced
2004 (when (equal window-system 'w32) |
2004 (when (equal window-system 'w32) |
2005 (add-to-list 'process-coding-system-alist '("python" cp1251-unix . cp1251-unix)) |
2005 (add-to-list 'process-coding-system-alist '("python" cp1251-unix . cp1251-unix)) |
2006 ) |
2006 ) |
2007 |
2007 |
2008 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2008 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
2009 (message "SML, Standard ML") |
|
2010 |
|
2011 (eval-after-load 'sml |
|
2012 '(progn |
|
2013 (define-key sml-mode-map (kbd "C-c C-p") 'sml-send-function) |
|
2014 )) |
|
2015 |
|
2016 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2009 (message "javascript, js") |
2017 (message "javascript, js") |
2010 |
2018 |
2011 ;; (if (>= emacs-major-version 23) |
2019 ;; (if (>= emacs-major-version 23) |
2012 ;; (add-to-list 'auto-mode-alist '("\\.js$" . js-mode)) |
2020 ;; (add-to-list 'auto-mode-alist '("\\.js$" . js-mode)) |
2013 ;; (add-to-list 'auto-mode-alist '("\\.js$" . javascript-generic-mode)) |
2021 ;; (add-to-list 'auto-mode-alist '("\\.js$" . javascript-generic-mode)) |
2164 '(progn |
2172 '(progn |
2165 ;; (proof-maths-menu-toggle 1) |
2173 ;; (proof-maths-menu-toggle 1) |
2166 ;; (unicode-tokens-mode 1) |
2174 ;; (unicode-tokens-mode 1) |
2167 ;; (proof-imenu-toggle 1) |
2175 ;; (proof-imenu-toggle 1) |
2168 )) |
2176 )) |
|
2177 (eval-after-load 'isar |
|
2178 '(progn |
|
2179 (define-key isar-mode-map (kbd "C-c C-m") 'proof-goto-point) |
|
2180 )) |
2169 |
2181 |
2170 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2182 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2171 (message "printing") |
2183 (message "printing") |
2172 |
2184 |
2173 ;; Use Notepad to print plain text files to the default Windows printer |
2185 ;; Use Notepad to print plain text files to the default Windows printer |