isabelle: Changelog

wenzelm [Sun, 12 Jan 2020 23:29:35 +0100] rev 71371

more robust;

wenzelm [Sun, 12 Jan 2020 22:54:42 +0100] rev 71370

updated to sqlite-jdbc-3.30.1;

wenzelm [Sun, 12 Jan 2020 22:21:40 +0100] rev 71369

updated to postgresql-42.2.9;

wenzelm [Sun, 12 Jan 2020 21:35:56 +0100] rev 71368

build in $ISABELLE_HOME; clarified build dependencies;

wenzelm [Sun, 12 Jan 2020 17:53:38 +0100] rev 71367

build in $ISABELLE_HOME; clarified build dependencies;

wenzelm [Sat, 11 Jan 2020 17:15:54 +0100] rev 71366

clarified fresh build;

wenzelm [Sat, 11 Jan 2020 16:22:17 +0100] rev 71365

tuned documentation;

wenzelm [Sat, 11 Jan 2020 15:04:43 +0100] rev 71364

tuned;

wenzelm [Fri, 10 Jan 2020 16:37:47 +0100] rev 71363

clarified script name;

wenzelm [Fri, 10 Jan 2020 15:42:13 +0100] rev 71362

prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);

isabelle