isabelle: Changelog

wenzelm [Thu, 17 Oct 2019 20:56:09 +0200] rev 70894

proper Thm.transfer;

wenzelm [Thu, 17 Oct 2019 20:28:31 +0200] rev 70893

clarified files;

wenzelm [Thu, 17 Oct 2019 17:24:13 +0200] rev 70892

clarified proof_boxes (requires prune_proofs=false);

wenzelm [Thu, 17 Oct 2019 16:10:44 +0200] rev 70891

tuned;

wenzelm [Thu, 17 Oct 2019 14:06:14 +0200] rev 70890

more robust;

wenzelm [Wed, 16 Oct 2019 21:55:17 +0200] rev 70889

more robust: avoid looping Lazy.force due to misinterpreted interrupt;

wenzelm [Wed, 16 Oct 2019 16:47:21 +0200] rev 70888

more informative combination_proof, e.g. relevant for proper type inference in HOL.Product_Type (with export_proofs);

wenzelm [Wed, 16 Oct 2019 15:31:01 +0200] rev 70887

tuned -- more stable type inference;

wenzelm [Wed, 16 Oct 2019 12:42:09 +0200] rev 70886

updated to jdk-11.0.4+11;

wenzelm [Wed, 16 Oct 2019 12:23:09 +0200] rev 70885

updated to scala-2.12.10;

isabelle