isabelle: Changelog

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;

wenzelm [Thu, 09 Jan 2020 13:44:16 +0100] rev 71358

unused;

wenzelm [Thu, 09 Jan 2020 13:39:33 +0100] rev 71357

tuned -- more direct java.util.Map.of;

nipkow [Thu, 09 Jan 2020 08:42:01 +0100] rev 71356

added lemma

isabelle