max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(emacs): use \pr for projection notation

Browse source
This commit is contained in:
Leonardo de Moura 2016-09-22 07:29:02 -07:00
parent b55a17614a
commit d5b07336d9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-input.el
View file

@ -233,7 +233,7 @@ order for the change to take effect."
("pequiv" . ("≃*"))
("phomotopy" . ("~*"))
("p" . ("↣"))
("pr" . ("↣"))
("1" . ("₁"))
("2" . ("₂"))