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
<https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2014-July/msg00239.html>)
:-)




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