From: Liu Jian <ljian@ios.ac.cn>
Dear All,
Does Isabelle ( + proof general) support comment in other languages
(for example Chinese)? If possible, How?
regards,
Liu Jian
From: nipkow@in.tum.de
The experts tell me that the Proof General - Isabelle link does not tolerate
unicode. There is a certain chance that the next release due in the near
future will solve this problem although the experts don't want to be quoted
on this. Then you can input Chinese comments.
Sorry about the later answer and the inconvenience.
Tobias
Last updated: Nov 21 2024 at 12:39 UTC