isabelle: Changelog

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;

wenzelm [Sat, 25 May 2019 14:13:46 +0200] rev 70290

Added tag Isabelle2019-RC3 for changeset 85de4fdec61b

wenzelm [Fri, 24 May 2019 21:14:02 +0200] rev 70289

more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;

wenzelm [Fri, 24 May 2019 20:16:35 +0200] rev 70288

avoid extra subprocess -- potentially more robust on Cygwin;

wenzelm [Fri, 24 May 2019 20:08:52 +0200] rev 70287

updated to cygwin-20190524;

isabelle