protege4.2 本体编辑工具，更新到4.2，英文版的，更新时间为2013年4月 大小：17.11MB | 2019-05-19 20:25:43 登录软件putty 大小：0 | 2019-01-13 11:59:38
