[CZT-Users] Problems with certain characters in jEdit

[nelis <nel...@cs...>]

Hello,

I'm continuing my efforts in using Z, and thanks to Tim I've made great 
progress. But I still run into problems (in Unicode markup):

- the 'section' concept is not accepted by the parser, it gives a syntax 
error on the first character.
? section NAME parents standard_toolkit ?

- the set substraction does not work when choosing it from the ZCharMap 
(with some strange error saying "Application of a non-function 
Expression: Cannot be printed ..."), but it seems to work if I use a 
normal backslash. Does it mean the same thing?

Kind regards,
Nelis