[CZT-Devel] [czt-devel] New Member and Question.

[邢畅 <aub...@ou...>]

Hi
Sorry for bothering, I'm new here. My name is Chang. I'm a student of UQ and doing a project about Object-Z now. My supervisor is professor Graeme Paul Smith, and the thesis aims to enhance the type-checker used by CZT project. So can I join the Mailing list and post questions here? I think it's may be a hard task.
I'm not that familiar with CZT and have no idea about the IDEs. I tried to clone the project and import the Maven project into IntelliJ IDEA but failed. I can't make IDEA resolve the complex dependencies so I changed to use Eclipse and follow the instruction from the page(http://czt.sourceforge.net/dev/eclipse/index.html).
But I encountered a question again, I failed to import the project because it lacks some plugin, as shown in the image attached.
Sorry, I'm not familiar with Maven and Eclipse, I only know some language knowledge about Java without any additional knowledge about it's ecosystem...If the question is too obvious or stupid, could you please what kind of things should I learn first?
Thank you all.
Regards.XING, ChangZhejiang University