Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] chi not in greek

Email Gateway (Aug 18 2022 at 11:09):

From: Makarius <makarius@sketis.net>
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

Last updated: May 03 2024 at 04:19 UTC