[isabelle-dev] NEWS: isabelle jedit options

Lawrence Paulson lp15 at cam.ac.uk
Tue Jun 5 23:06:23 CEST 2018

I’d find an example helpful, as your brief description is pretty cryptic.

> On 5 Jun 2018, at 22:01, Makarius <makarius at sketis.net> wrote:
> These options are very relevant for the coming release. I am interested
> to get feedback from early adopters, if this is already sufficient or
> requires further refinement.

More information about the isabelle-dev mailing list