isabelle: Changelog

wenzelm [Wed, 01 Jul 2020 22:11:30 +0200] rev 71983

clarified options --- potentially more robust;

wenzelm [Wed, 01 Jul 2020 21:14:04 +0200] rev 71982

tuned message;

wenzelm [Sat, 27 Jun 2020 11:25:30 +0200] rev 71981

clarified signature;

wenzelm [Fri, 26 Jun 2020 17:34:34 +0200] rev 71980

more CONTRIBUTORS;

wenzelm [Thu, 25 Jun 2020 15:45:15 +0200] rev 71979

more uniform URL (see 60b5a4731695);

wenzelm [Wed, 24 Jun 2020 20:59:50 +0200] rev 71978

clarified use of memory: prefer share tree structures over fresh strings;

wenzelm [Wed, 24 Jun 2020 11:16:57 +0200] rev 71977

more Java heap space (see 2d658beb815b);

wenzelm [Sun, 21 Jun 2020 11:12:19 +0200] rev 71976

clarified NEWS;

wenzelm [Sat, 20 Jun 2020 22:35:24 +0200] rev 71975

enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39);

wenzelm [Sat, 20 Jun 2020 21:44:43 +0200] rev 71974

discontinued old AFP test: ancient hardware with insufficient resources;

isabelle