欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ECB requires semantic [1.4, 1.4.9], eieio [0.17, 0.17.9], speedbar [0.14beta1, 0.15.9]
修改 /etc/emacs/site-start.el
(add-to-list 'load-path "/home/huihoo/php-python-perl-ruby/emacs/ecb-2.32") (require 'ecb) restart emacs