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") |
2148 (message "pg, Proof General") |
2149 |
2149 |
2150 (setq proof-splash-enable nil) |
2150 (setq proof-splash-enable t) |
2151 ;; (setq proof-toolbar-enable nil) |
2151 ;; (setq proof-toolbar-enable nil) |
|
2152 |
|
2153 (setq isar-display:show-types t) |
|
2154 (setq isar-display:show-sorts t) |
|
2155 (setq isar-display:show-consts t) |
|
2156 (setq isar-display:show-brackets t) |
|
2157 (setq isar-display:show-main-goal t) |
2152 |
2158 |
2153 (eval-after-load 'proof |
2159 (eval-after-load 'proof |
2154 '(progn |
2160 '(progn |
2155 (proof-maths-menu-toggle 1) |
2161 ;; (proof-maths-menu-toggle 1) |
2156 (unicode-tokens-mode 1) |
2162 ;; (unicode-tokens-mode 1) |
2157 (proof-imenu-toggle 1) |
2163 ;; (proof-imenu-toggle 1) |
2158 )) |
2164 )) |
2159 |
2165 |
2160 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2166 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2161 (message "printing") |
2167 (message "printing") |
2162 |
2168 |