Hello, i've just installed czt as a plugin in jedit and works great, nice tool :), been trying to use formaliser but too many headaches with that 16 bits thing.
Now i've a kick question, i'm missing a couple of symbols, or well maybe they're not standard, the union with the little plus symbol inside, and the minus also. Where there are many more
I'm specting to make one final university project this way, and you know that made my a little worried :(
Sorry about the english!
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
as far as I know, the union with the plus or minus symbol inside is not included in Standard Z and therefore not in the list of Z symbols.
You can still include this symbol into your document using the jEdit Character Map plugin.
Alternatively, you can modify the source code for the CZT plugin and add these symbols yourself---this is not very difficult. Let me know if you are interested and if you need help.
Petra
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Of course i'll be interested, my teacher use them a lot :P, i'll download the source code, and next week when i'll have a little more time will check it out
Thanks!
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
if you want to add new characters to the CZT plugin, you need to modify file <CZT>/jedit/ZCharMap/ZCharMap.java.
Search for mTableArray (that's the table containing all the symbols) and add a new ZChar object.
I was going to post and offer a copy of the Toolkit section I wrote dealing with bags (including the u-plus operator) ... but I can't find it. I have a terrible feeling that I have deleted it. Petra, I never sent you a copy, did I?
Best regards
Andrew
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Andrew, I just checked my emails and found a copy of your bags toolkit. :-)
Sorry, I really forgot about it. I was allowed to put it into CZT, right? I will post it to the czt-devel mailing list and add it to the other toolkits into the CZT repository if you agree (I do not know how to post the file into that forum).
Cheers,
Petra
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Petra, great. I can't remember whether what I would have sent you was the 'last' version or not, but it would be a start. Eventually, I identified the unicode characters for most of the symbols I needed...! As regards including it in the CZT distribution, I think I may have been concerned about infringing Mike Spivey's copyright. I can't remember how that played out. I'll ask Mike what he thinks.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I sent Andrew the version of the bag toolkit I found, and he is planning to bring it up to date. However, there are licensing problems, so I guess you should ask him privately if you can get a copy.
Are you aware that you still need to add the missing Unicode characters to the CZT plugin? The bag toolkit just provides the operator definitions and LaTeX commands.
Petra
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hello, i've just installed czt as a plugin in jedit and works great, nice tool :), been trying to use formaliser but too many headaches with that 16 bits thing.
Now i've a kick question, i'm missing a couple of symbols, or well maybe they're not standard, the union with the little plus symbol inside, and the minus also. Where there are many more
I'm specting to make one final university project this way, and you know that made my a little worried :(
Sorry about the english!
Hi Juan,
as far as I know, the union with the plus or minus symbol inside is not included in Standard Z and therefore not in the list of Z symbols.
You can still include this symbol into your document using the jEdit Character Map plugin.
Alternatively, you can modify the source code for the CZT plugin and add these symbols yourself---this is not very difficult. Let me know if you are interested and if you need help.
Petra
Of course i'll be interested, my teacher use them a lot :P, i'll download the source code, and next week when i'll have a little more time will check it out
Thanks!
Hi Juan,
if you want to add new characters to the CZT plugin, you need to modify file <CZT>/jedit/ZCharMap/ZCharMap.java.
Search for mTableArray (that's the table containing all the symbols) and add a new ZChar object.
http://czt.sourceforge.net/manual.html
contains documentation how you build CZT from the sources.
If you have problems, it is best to ask on the czt-devel mailing list for help.
http://lists.sourceforge.net/lists/listinfo/czt-devel
contains information how you subscribe/post there.
Hope that helps,
Petra
I was going to post and offer a copy of the Toolkit section I wrote dealing with bags (including the u-plus operator) ... but I can't find it. I have a terrible feeling that I have deleted it. Petra, I never sent you a copy, did I?
Best regards
Andrew
it will be great if you find it!
Andrew, I just checked my emails and found a copy of your bags toolkit. :-)
Sorry, I really forgot about it. I was allowed to put it into CZT, right? I will post it to the czt-devel mailing list and add it to the other toolkits into the CZT repository if you agree (I do not know how to post the file into that forum).
Cheers,
Petra
Petra, great. I can't remember whether what I would have sent you was the 'last' version or not, but it would be a start. Eventually, I identified the unicode characters for most of the symbols I needed...! As regards including it in the CZT distribution, I think I may have been concerned about infringing Mike Spivey's copyright. I can't remember how that played out. I'll ask Mike what he thinks.
Any news about that?
Hi Juan,
I sent Andrew the version of the bag toolkit I found, and he is planning to bring it up to date. However, there are licensing problems, so I guess you should ask him privately if you can get a copy.
Are you aware that you still need to add the missing Unicode characters to the CZT plugin? The bag toolkit just provides the operator definitions and LaTeX commands.
Petra
Ok!
will try to play a little with that!
Need help with a assignment for formal specifictaion. Urgent please help
hi it might help
http://czt.sourceforge.net/manual.html contains documentation how you build CZT from the sources.
Good luck
Leo.B
“Leaning without thinking is useless thinking without learning is dangerous”
CCleaner Happy Wheels VLC
Last edit: Lossif Adil 2018-08-31