[isabelle-dev] NEWS: isabelle jedit options

Makarius 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.


	Makarius



More information about the isabelle-dev mailing list