[isabelle] chi not in greek



Hi,
   Section 2.1 of "The Isabelle/Isar Reference Manual" (isar-ref.pdf) does
not include \<chi> as a Greek letter.  Is this deliberate or an oversight?
 Uppercase Greek letters that have the same form as one in the Latin
alphabet are not included, so \<Chi> is not expected, but all the lowercase
letters have different forms.
   A trivial patch to Isabelle/src/Pure/General/symbol.ML is included below.
   Perry
==
Perry James
perry at dsrg.org


*** symbol.ML   2007-09-16 08:52:27.000000000 -0400
--- symbol.ML.new       2007-12-03 09:34:36.000000000 -0500
***************
*** 341,346 ****
--- 341,347 ----
      ("\\<tau>", Letter),
      ("\\<upsilon>", Letter),
      ("\\<phi>", Letter),
+     ("\\<chi>", Letter),
      ("\\<psi>", Letter),
      ("\\<omega>", Letter),
      ("\\<Gamma>", Letter),




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