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



Dear All,


  Does Isabelle ( + proof general) support comment in other languages
  (for example Chinese)?  If possible, How?


  regards,

  Liu Jian

    





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