Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Subscripting?


view this post on Zulip Email Gateway (Aug 19 2022 at 15:46):

From: Holden Lee <hl422@cam.ac.uk>
Hi,

I was wondering whether there is any way to display subscripts nicely in
jEdit? (I mean things like ⊗⇘G⇙, \oplus=_(G=_) .) Larry mentioned that it
existed in Proof General.

-Holden

view this post on Zulip Email Gateway (Aug 19 2022 at 15:47):

From: Makarius <makarius@sketis.net>
Lets say there was an approximative rendering in Proof General Emacs,
which often caused problems like editor font-lock lock-up.

For more background information see also the following thread on
"(structure) and \<index>"
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2013-October/msg00215.html

Makarius


Last updated: Mar 29 2024 at 08:18 UTC