Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Does Isabelle (on Proof general) support comme...


view this post on Zulip Email Gateway (Aug 17 2022 at 13:26):

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

view this post on Zulip Email Gateway (Aug 17 2022 at 13:26):

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