isabelle: Changelog

wenzelm [Thu, 07 Oct 2021 22:44:18 +0200] rev 74489

clarified test of directories;

wenzelm [Thu, 07 Oct 2021 22:21:11 +0200] rev 74488

misc tuning for release;

wenzelm [Thu, 07 Oct 2021 21:43:26 +0200] rev 74487

merged

wenzelm [Thu, 07 Oct 2021 20:53:24 +0200] rev 74486

updated to kodkodi-1.5.7. with more robust/portable management of files and processes;

wenzelm [Thu, 07 Oct 2021 14:02:18 +0200] rev 74485

provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;

wenzelm [Thu, 07 Oct 2021 13:55:24 +0200] rev 74484

tuned message;

wenzelm [Thu, 07 Oct 2021 13:46:50 +0200] rev 74483

proper build on macOS;

wenzelm [Thu, 07 Oct 2021 13:12:08 +0200] rev 74482

build minisat, using recent fork from original sources;

wenzelm [Thu, 07 Oct 2021 13:10:53 +0200] rev 74481

proper platform_path for executables run from Java;

wenzelm [Thu, 07 Oct 2021 13:04:15 +0200] rev 74480

tuned message;

isabelle