标签： coq coqide
一个CoqIDE如何与两个以上的窗格一起使用？该代码可能真的很大，并且很难在一个窗格中跟踪每个定义等。
我用谷歌搜索了
http://web.cecs.pdx.edu/~apt/coq_hints.html
但这并不太有用...