Re: [CZT-Devel] Problem installing jEdit plugin

[Andrius V. <and...@ne...>]

Dear Anthony,

Well I’d expected something like that,  but I can’t see any such option in
> the dropdown: it just seems to have docking options.
>

I see - I checked the source code - apparently it reacts to 'mode' change
in jEdit. Use the dropdown in top-right corner to change modes, then the
charmap should change accordingly..

Well as I said I’ve never used Eclipse at all, so I’m fumbling here – I
> must say it does look very nice though and indeed I can get an Object Z
> character map. The only thing I couldn’t see how to do was to get an
> Object-Z specification created. It has an option to create a new Z
> specification, but even though I’d set the compile to oz, it created a file
> with a zed8 extension rather than an oz8 extension. I tried Create file
> instead and gave the extension as oz8, but that just seemed to create an
> ordinary text file. I’m sure I’m doing something silly, though – as I say
> this is  my first ever experience of Eclipse!
>

Interesting point about extensions. What you encountered is what was
supposed have happened. At the moment CZT Eclipse works with `zed`, `zed8`
and `zed16` extensions - the Z Editor is opened by default for them. The
dialect is selected in Preferences and has not been linked to the file
extension, i.e. you select a dialect for all files, and the extension
governs whether it is LaTeX or one of Unicode representations. Since it
does not know about `oz8` extension, it will open it with text editor. You
can try forcing Z Editor by right-clicking and selecting Open With > Z
Editor.

We have discussed using dialect-specific extensions some time ago with Leo.
Are there official ones, e.g. `oz` for Object-Z, etc, or at least some
accepted practice?

 ****
>
> The errors are unexpected. I know Leo's been doing some changes to VCG so
> maybe there are problems, though the last automatic build of `master` did
> pass correctly.. Are you getting this error on Windows? We will try to
> investigate.****
>
> Yes they are on Windows (W7 64 bit).
>

We have not tested much on Windows recently, so maybe it is worth checking
it out. :)


> ****
>
>  ****
>
> I am afraid that CZT font still needs to be installed. I know loading the
> font automatically should not be hard to add, but at the moment it needs to
> be installed.****
>
> The need to install it wasn’t the problem – my concern was that the font
> itself used to be broken in some way that crashed windows pretty severely
> and I didn’t want to install it without knowing that had been fixed. (Yes,
> I know – who would write an OS that could be crashed by a defective font…?
> But it’s true – I managed to pull the same trick with my own font at one
> point)
>

I have committed several changes today - with the today's version of CZT
Eclipse IDE you no longer need to install CZT font, it is loaded
automatically. This has not been done for jEdit though yet.


> I am not sure whether that is necessary. You need to get the czt.jar and
> the jEdit plugins - that should be enough?****
>
> Yes – but without building where would I get the jEdit plugins? Again I’m
> sure the answer is obvious to you but it wasn’t to me – sorry. Anyway, done
> it now.
>

You are right, the plugins needed to be built as well.

I have got around to finishing the `nightly` builds as well - if you go to
the CZT SourceForge files system, each of possible download options now has
a /nightly directory where you can download the latest version! We have a
build server running here in Newcastle and the nightly results will be
published to SourceForge now.

http://sourceforge.net/projects/czt/files/


> Can you tell me a bit more about Z-Eves? I had thought that Z-Eves was
> dead: if that’s not true I’d be very interested in finding out more about
> it.
>
It is dead (as in not being developed anymore), though many institutions
still have copies of it and it works quite well with this new GUI :) We had
a buch of proofs in Z/EVES that we needed to work with so added the
integration. Now here's to hoping that Z/EVES would be open-sourced some
day.. but it is not clear whether that will happen.


> Answers are certainly helpful. I will try to revive the memory consumption
> work, though I fear it may be deep inside CZT and beyond my competence.
>
The core developers are still around so I think help would come if needed :)

Thanks,
Andrius