On Thu, 14 Mar 2013, Lawrence Paulson wrote:
I agree with you, and it seems a mistake to expect jEdit to do all kinds
of things that could very easily be done otherwise.
The "easily" here is "ex falso quodlibet consequitur". The system is
definitely easy to break by adhoc patching ...
Before we run again into a noisy thread that leads nowhere: the system
development process is run by the people doing the actual work. This
sounds like a trivial tautology, but is often forgotten.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
