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