isabelle: Changelog

wenzelm [Tue, 23 Jul 2019 12:16:02 +0200] rev 70399

tuned comments;

wenzelm [Tue, 23 Jul 2019 12:07:50 +0200] rev 70398

proof terms are always constructed sequentially; discontinued unused Proofterm.Promise -- too complex;

wenzelm [Mon, 22 Jul 2019 21:55:02 +0200] rev 70397

tuned comments -- proper sections;

wenzelm [Mon, 22 Jul 2019 16:15:40 +0200] rev 70396

support export_proofs, prune_proofs; tuned comments;

wenzelm [Mon, 22 Jul 2019 14:47:21 +0200] rev 70395

clarified postproc: apply shrink_proof last, e.g. relevant for export of full proof term;

wenzelm [Mon, 22 Jul 2019 11:40:04 +0200] rev 70394

tuned;

wenzelm [Mon, 22 Jul 2019 11:39:30 +0200] rev 70393

clarified exception;

wenzelm [Mon, 22 Jul 2019 11:31:42 +0200] rev 70392

tuned;

wenzelm [Mon, 22 Jul 2019 11:10:08 +0200] rev 70391

more accurate type information;

wenzelm [Mon, 22 Jul 2019 11:09:24 +0200] rev 70390

unused (see also 42fbb6abed5a);

isabelle