欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
jEdit是一个用Java开发的文本编辑器。
jEdit也有很方便的宏定义功能,可以用BeanShell、Jython和JavaScript等脚本语言。
<discussion>characters_max=300</discussion>