欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
修改 /etc/emacs/site-start.el
(add-to-list 'load-path "/home/huihoo/php-python-perl-ruby/emacs/ecb-2.32")
