Stream: Archive Mirror: Isabelle Users Mailing List

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

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

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: May 03 2024 at 08:18 UTC