[isabelle-dev] NEWS: isabelle jedit options
makarius at sketis.net
Wed Jun 6 13:43:54 CEST 2018
On 06/06/18 12:45, Lawrence Paulson wrote:
> I saw them of course, but what do they do?
These options go back to Nov-2017, but in recent Isabelle/bcdc47c9d4af I
have simplified and clarified the situation, updated NEWS and
documentation in the "jedit" manual.
Right now the main question is if this is sufficient for the release,
and the documentation clear.
More information about the isabelle-dev