有没有办法使用Core与OcaIDE和Eclipse

Question

如何使用Core与OcaIDE和Eclipse的库？我想知道是否有任何方法可以安装这些库。