|
From: ecamy <ec...@16...> - 2016-01-01 03:01:09
|
Hi,
I am using the czt-ide-1.6.0.201410201751-win32.win32.x86_64(in windows8). And I install the Z-EVES2.1 in my virtual machine(in windows xp). Some troubles of launching Z/EVES is as the blow:
1. my state of Z/EVES prover is always Not available.
2. I try to connect to my Z/EVES Remote, But always failure.
3. If i use CZT whose version is higher than 201410201751, the CZT UI can't occur in Eclipse interface.
So,
1. Whether Z/EVES is really integrated in CZT or not?
2. Is the version of Z/EVES limited to above 2.3, I only have Z/EVES 2.1, How can I do?
3. How I can find out the CZT UI in eclipse when I use higher version of CZT?
By the way, Thanks for your CZT, The conversation to latex is so convenient for me. Thanks so much.
Best.
Emily Wang
|