Re: [isabelle] chi not in greek



On Mon, 3 Dec 2007, Perry James wrote:

>    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?

This is just an oversight -- nobody has noticed so far in the past 2-3 
years.  I've now added \<chi> both to the manual and the table inside the 
system.


	Makarius






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