more explicit item kind; clarified recover_delimited: skip to next @; support for line context parsing; tuned signature;
more explicit item kind;
clarified recover_delimited: skip to next @;
support for line context parsing;
tuned signature;

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