【发布时间】:2010-03-11 17:49:30
【问题描述】:
我正在使用 Eclipse 进行 Java 编程。我尝试通过 Eclipse 的更新程序从 this site 安装,但虽然它没有触发任何错误,但我没有看到他们说我应该看到的菜单。
也许我必须先安装一些东西?也许还有其他更简单的 JML 选项?你们都用什么?
【问题讨论】:
-
您确实使用了pm.inf.ethz.ch/research/universes/tools/eclipse 作为更新站点,对吧?