Re: [isabelle] Subscripting?



On Wed, 6 Aug 2014, Holden Lee wrote:

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.

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


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