some support for token/chunk handling, imitating jEdit internals;
some support for token/chunk handling, imitating jEdit internals;

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