欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Source navigator
来自开放百科 - 灰狐
(版本间的差异)
2010年11月29日 (一) 10:02的版本
source navigator 是 Red Hat 开发的源码分析工具,提供类似 Source Insight 的功能,可工作在多种操作系统,支持 C, C++, Java, Tcl, [incr Tcl], FORTRAN 和 COBOL 语言。
截图
链接
<discussion>characters_max=300</discussion>
分享您的观点