tuned token styles, according to some earlier Isabelle/jEdit experiments;
tuned token styles, according to some earlier Isabelle/jEdit experiments;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle