Menu
▾
▴
Re: [CZT-Devel] Problem installing jEdit plugin
|
From: Leo F. <leo...@ne...> - 2013-04-09 09:44:00
|
Hi Anthony, My two pence on the OZ discussion. On jEdit, you need to choose the ZCharmap accordingly so that oz symbols are used. You also need to change on the ZSidekick the default parser for .tex (or .utf8) files (which is Z-Latex/Unicode) to OZ, unless you add files with the right extension (I think .oz). A similar story occurs in Eclipse: you need to choose the "default compiler" in the preferences for CZT as Z, OZ, Circus, ZEves. On the font issue, yes there was a problem with Visual Studio and the TTF generated by font forge (which was the tool we used to create the CZT font for Z, OZ and Circus). As Mark said I think this has been resolved, but tests on Windows are due on our side. In any case, installing/uninstalling it is just a matter of copying/deleting a file from c:\windows\fonts, so shouldn't be too troublesome. Let us know otherwise. Memory consumption + ZEVes on the features e-mail to follow. Best, Leo On 1 Apr 2013, at 20:51, Anthony Hall <an...@an...<mailto:an...@an...>> wrote: Dear Andrius Good to hear about your progress and sorry for a bit of delay with my reply. My answers follow. I really, really don’t think that two replies, one on Easter Sunday and the other on Easter Monday Bank Holiday, count as a delay!! On the contrary, I’m very grateful to you for getting back so quickly. First, my real question: when I did finally get jEdit and zcharmap working, I couldn’t find a way of inserting an object Z Class. Is there any way of doing this – can you edit object Z within CZT? I am not too familiar with jEdit - there should be a drop-down on ZCharMap that allows you to choose a dialect? Then you should get Object-Z charmap that includes Class if I am not mistaken.. 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 myself work on CZT-Eclipse integration, so you could try it there. If you use czt-ide standalone that I gave the link to previously: select Object Z dialect in Preferences > CZT > Compiler. Then when you open the Characters view the Object-Z dialect should be selected there as well (or use drop-down). Note that I am typing these names from memory so they may actually be a bit different in the program :) Let me know if you get to Object-Z symbols either in jEdit or Eclipse. 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! The /src/site files are destined for the upcoming new CZT website. The website contents are generated automatically from these files. So as soon as we do get around to launching the new website and new release, these instructions should be accessible much easier (and rendered correctly). In the root of repository there is INSTALL.md that points to setup.md<http://setup.md> - but I do think a website will help with finding things :) OK, well I was just groping around there so not to worry 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). 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) Good catch on encoding advice. Yea, I guess the instructions should say that. We do lack testing in Windows and UTF8, since Leo and myself are working on Macs and Z-LaTeX mostly :) Furthermore, jEdit plugins have not seen much updates except from the compatibility with jEdit 5. More work has gone towards the Eclipse-based integration from myself, since I am more familiar with developing for Eclipse. So any updates, suggestions and problem reports are most welcome! OK, I’m happy to try to work with the stand alone ide – that seems nice. (Answers to your previous e-mail below) I suppose I had better bite the bullet and get going with git :(. I would recommend Git wholeheartedly, especially if there is at least some collaboration going.. Well it seemed to work fine. I was just reluctant to learn yet another tool but that’s old age for you :). It was really more that I couldn’t face all that maven nonsense again – but this build worked much better than previous ones which used to have perplexing maven errors all the time. As I have worked on CZT for Eclipse, I would recommend trying the Eclipse way :) Just don't forget to set Object-Z dialect in Preferences. OK, happy to do that, modulo query about files above. 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. Yes, there is a plan. That’s very good news We have quite some new content, just need to finish off some documentation and website updates.. and these take time and willpower :) I do know that! Certainly the main difficulties I’ve had have all been really down to not having enough documentation so I do thoroughly applaud your efforts in that direction. I know from experience how hard it is to write for users totally unfamiliar with a project. I would agree on limited activity in mailing lists. Leo and me are working together at Newcastle University, so we are discussing face-to-face. Otherwise it has been a bit more silent. I can only comment on project activity that I know of. Leo and myself have new content that we have added and would like to release: quite big organisational changes in builds, updates to CZT for Eclipse, verification condition generator, integration with Z/EVES theorem prover, and more changes, cleanup and fixes all over the board. There's also some new work on Circus-Time coming from University of York. So the project is not bustling, but is still going forward :) That’s very good to hear. 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. Thank you for the reports - hope the answers help. And all contributions are welcome of course - whether it is the memory consumption, or other upgrades :) 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. Very many thanks for your help Anthony ------------------------------------------------------------------------------ Own the Future-Intel® Level Up Game Demo Contest 2013 Rise to greatness in Intel's independent game demo contest. Compete for recognition, cash, and the chance to get your game on Steam. $5K grand prize plus 10 genre and skill prizes. Submit your demo by 6/6/13. http://p.sf.net/sfu/intel_levelupd2d_______________________________________________ CZT-Devel mailing list CZT...@li...<mailto:CZT...@li...> https://lists.sourceforge.net/lists/listinfo/czt-devel |
