欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Bluefish是一个HTML编辑器，功能包括多文件编辑，工具栏，可改变菜单，支持图象，HTML标记和向导等。虽然这个软件正在发展中，但已经是一个较好的HTML编辑工具！ 此外，用户也可用它来编辑 C, PHP, Python 脚本。
http://bluefish.openoffice.nl
