isabelle: Changelog

wenzelm [Thu, 15 Jul 2021 21:11:39 +0200] rev 73997

tuned signature;

wenzelm [Thu, 15 Jul 2021 21:21:16 +0200] rev 73996

more complete dockables;

wenzelm [Thu, 15 Jul 2021 21:07:03 +0200] rev 73995

more robust (see 4d91b6d5d49c);

wenzelm [Thu, 15 Jul 2021 20:15:03 +0200] rev 73994

clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;

wenzelm [Thu, 15 Jul 2021 20:11:23 +0200] rev 73993

more robust;

wenzelm [Thu, 15 Jul 2021 19:51:01 +0200] rev 73992

tuned;

wenzelm [Thu, 15 Jul 2021 18:56:15 +0200] rev 73991

avoid non-standard encoding;

wenzelm [Thu, 15 Jul 2021 18:29:34 +0200] rev 73990

proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;

wenzelm [Thu, 15 Jul 2021 18:18:07 +0200] rev 73989

more robust classpath: skip empty entries;

wenzelm [Thu, 15 Jul 2021 17:33:06 +0200] rev 73988

more robust: avoid duplicate classpath entries;

isabelle