change default view of proof general
This commit is contained in:
parent
6861181a21
commit
f6955bc9a0
51
emacs/.emacs
51
emacs/.emacs
|
@ -2,21 +2,22 @@
|
||||||
(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
|
(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
|
||||||
(package-initialize)
|
(package-initialize)
|
||||||
|
|
||||||
; Activate Evil mode
|
|
||||||
;; https://www.emacswiki.org/emacs/Evil
|
;; Activate Evil mode
|
||||||
|
; https://www.emacswiki.org/emacs/Evil
|
||||||
(require 'evil)
|
(require 'evil)
|
||||||
(evil-mode 1)
|
(evil-mode t)
|
||||||
|
|
||||||
|
|
||||||
(setq-default word-wrap t)
|
(setq-default word-wrap t)
|
||||||
|
|
||||||
|
|
||||||
; Display current column
|
;; Display current column
|
||||||
;; https://www.gnu.org/software/emacs/manual/html_node/efaq/Displaying-the-current-line-or-column.html
|
; https://www.gnu.org/software/emacs/manual/html_node/efaq/Displaying-the-current-line-or-column.html
|
||||||
(setq column-number-mode t)
|
(setq column-number-mode t)
|
||||||
|
|
||||||
|
|
||||||
; Set default encoding as UTF-8
|
;; Set default encoding as UTF-8
|
||||||
(set-terminal-coding-system 'utf-8)
|
(set-terminal-coding-system 'utf-8)
|
||||||
|
|
||||||
|
|
||||||
|
@ -24,8 +25,8 @@
|
||||||
(setq inhibit-startup-screen t)
|
(setq inhibit-startup-screen t)
|
||||||
|
|
||||||
|
|
||||||
; Scroll buffer without moving cursor
|
;; Scroll buffer without moving cursor
|
||||||
;; https://www.emacswiki.org/emacs/Scrolling#h5o-2
|
; https://www.emacswiki.org/emacs/Scrolling#h5o-2
|
||||||
(defun gcm-scroll-down ()
|
(defun gcm-scroll-down ()
|
||||||
(interactive)
|
(interactive)
|
||||||
(scroll-up 1))
|
(scroll-up 1))
|
||||||
|
@ -34,11 +35,39 @@
|
||||||
(interactive)
|
(interactive)
|
||||||
(scroll-down 1))
|
(scroll-down 1))
|
||||||
|
|
||||||
|
; C-Down scroll down without moving cursor
|
||||||
(global-set-key [(control down)] 'gcm-scroll-down)
|
(global-set-key [(control down)] 'gcm-scroll-down)
|
||||||
|
|
||||||
|
; C-Up scroll up without moving cursor
|
||||||
(global-set-key [(control up)] 'gcm-scroll-up)
|
(global-set-key [(control up)] 'gcm-scroll-up)
|
||||||
|
|
||||||
|
|
||||||
; Zooming
|
;; Zooming
|
||||||
; https://stackoverflow.com/questions/5533110/emacs-zoom-in-zoom-out
|
; https://stackoverflow.com/questions/5533110/emacs-zoom-in-zoom-out
|
||||||
(global-set-key [C-mouse-4] 'text-scale-increase) ; scroll up
|
|
||||||
(global-set-key [C-mouse-5] 'text-scale-decrease) ; scroll down
|
; zoom in with mouse scroll up
|
||||||
|
(global-set-key [C-mouse-4] 'text-scale-increase)
|
||||||
|
|
||||||
|
; zoom out with mouse scroll down
|
||||||
|
(global-set-key [C-mouse-5] 'text-scale-decrease)
|
||||||
|
|
||||||
|
|
||||||
|
;; shortcuts only for proofgeneral mode
|
||||||
|
(eval-after-load "proof-script"
|
||||||
|
'(setq proof-three-window-mode-policy 'hybrid))
|
||||||
|
|
||||||
|
|
||||||
|
;; tab-bar
|
||||||
|
; https://www.emacswiki.org/emacs/TabBarMode
|
||||||
|
; https://github.com/noctuid/evil-guide
|
||||||
|
; https://stackoverflow.com/a/7790759
|
||||||
|
(when (require 'tab-bar nil 'noerror)
|
||||||
|
(setq tab-bar-show 1) ; hide tab bar when there's only one tab
|
||||||
|
(evil-ex-define-cmd "tabc[lose]" 'tab-bar-close-tab)
|
||||||
|
(evil-ex-define-cmd "tabon[ly]" 'tab-bar-close-other-tabs))
|
||||||
|
|
||||||
|
|
||||||
|
;; Show emacs startup time
|
||||||
|
(add-hook 'emacs-startup-hook
|
||||||
|
(lambda ()
|
||||||
|
(message (format "Emacs started in %s" (emacs-init-time)))))
|
||||||
|
|
|
@ -3,13 +3,15 @@ call plug#begin('~/.config/nvim/plugged')
|
||||||
|
|
||||||
" Make sure you use single quotes
|
" Make sure you use single quotes
|
||||||
Plug 'whonore/Coqtail'
|
Plug 'whonore/Coqtail'
|
||||||
Plug 'joom/latex-unicoder.vim'
|
"Plug 'joom/latex-unicoder.vim'
|
||||||
|
|
||||||
" Initialize plugin system
|
" Initialize plugin system
|
||||||
call plug#end()
|
call plug#end()
|
||||||
|
|
||||||
source ~/.vimrc
|
source ~/.vimrc
|
||||||
|
|
||||||
|
se nohls
|
||||||
|
|
||||||
" Coqtail stuff
|
" Coqtail stuff
|
||||||
let @i=":CoqJumpToEnd | call append('.', ['(* -- AUTO OUTPUT (Info) --'] + getbufline(b:coqtail_panel_bufs['info'], 1, '$') + ['*)'])
"
|
let @i=":CoqJumpToEnd | call append('.', ['(* -- AUTO OUTPUT (Info) --'] + getbufline(b:coqtail_panel_bufs['info'], 1, '$') + ['*)'])
"
|
||||||
|
|
||||||
|
|
|
@ -2,6 +2,10 @@
|
||||||
" https://en.wikipedia.org/wiki/Mathematical_operators_and_symbols_in_Unicode
|
" https://en.wikipedia.org/wiki/Mathematical_operators_and_symbols_in_Unicode
|
||||||
" https://github.com/joom/latex-unicoder.vim/blob/master/autoload/unicoder.vim
|
" https://github.com/joom/latex-unicoder.vim/blob/master/autoload/unicoder.vim
|
||||||
|
|
||||||
|
"" Currency
|
||||||
|
digr Rs 8360 " ₨
|
||||||
|
digr rs 8377 " ₹ (INR)
|
||||||
|
|
||||||
|
|
||||||
"" Set theory
|
"" Set theory
|
||||||
digr )- 8713 " ∉
|
digr )- 8713 " ∉
|
||||||
|
|
Loading…
Reference in New Issue