isabelle: Changelog

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);

wenzelm [Thu, 09 Jan 2020 16:01:31 +0100] rev 71361

proper name;

wenzelm [Thu, 09 Jan 2020 15:45:31 +0100] rev 71360

more Isabelle fonts, notably for File Browser title in GTK L&F;

wenzelm [Thu, 09 Jan 2020 13:47:08 +0100] rev 71359

eliminated deprecated scala.collection.JavaConversions;

isabelle