isabelle: Changelog

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

traytel [Tue, 07 Jan 2020 17:12:54 +0100] rev 71355

merged

traytel [Tue, 07 Jan 2020 14:58:01 +0100] rev 71354

eliminated one redundant proof obligation in lift_bnf for quotients

blanchet [Tue, 07 Jan 2020 14:40:11 +0100] rev 71353

removed experimental option to SPASS

isabelle