Re: [isabelle] 2014-RC1 issues

> In jEdit this has been replaced by the more heavyweight query-panels,
> that only work for a small subset of the diagnostic commands, and
> extending them to new commands is quite a big effort. So I would also
> like to have this lightweight low-level possibility of issuing
> diagnostic-commands, in addition to the heavyweight, high-level query
> panels.

This would also greatly reduce the number of stray "thm" commands in our
theory sources (as in

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