isabelle: Changelog

wenzelm [Sat, 01 Jun 2019 13:53:23 +0200] rev 70300

merged

wenzelm [Sat, 01 Jun 2019 11:29:59 +0200] rev 70299

Added tag Isabelle2019-RC4 for changeset ad2d84c42380

wenzelm [Sat, 01 Jun 2019 11:27:19 +0200] rev 70298

hint on printing via Web browser;

wenzelm [Tue, 28 May 2019 19:52:14 +0200] rev 70297

tuned;

nipkow [Fri, 31 May 2019 12:29:02 +0200] rev 70296

tuned proof

nipkow [Fri, 31 May 2019 10:39:35 +0200] rev 70295

tuned

wenzelm [Mon, 27 May 2019 16:47:17 +0200] rev 70294

merged

wenzelm [Mon, 27 May 2019 15:08:51 +0200] rev 70293

more direct invocation of Windows exe: avoid extra bash, cygpath, exec;

wenzelm [Mon, 27 May 2019 14:25:00 +0200] rev 70292

tuned whitespace;

wenzelm [Mon, 27 May 2019 12:05:16 +0200] rev 70291

updated to bash_process-1.2.3: rebuild on current reference PLATFORMS;

isabelle