[isabelle-dev] NEWS: more informative errors in lazy enumerations
noschinl at in.tum.de
Fri Nov 23 00:41:58 CET 2012
On 20.11.2012 16:05, Makarius wrote:
> What might happen before the release is a move from Sidekick/completion
> subplugin, to the new Completion standalone-plugin from the jEdit guys.
> It depends if their release schedule recovers after the summer break --
> I don't see any important activity there since 01-Sep-2012, whicj was
> the original plan for jEdit 5.0 to be rolled out.
It seems to have recovered just half an hour ago.
More information about the isabelle-dev