Re: [isabelle] Does Isabelle (on Proof general) support comments in others languages (for example Chinese)

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.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.