isabelle: Changelog

wenzelm [Mon, 14 Oct 2019 22:34:33 +0200] rev 70872

clarified modules;

wenzelm [Mon, 14 Oct 2019 22:22:06 +0200] rev 70871

more complete coverage of sessions: process_theory operation needs to handle duplicate theories;

wenzelm [Mon, 14 Oct 2019 22:09:10 +0200] rev 70870

proper build_graph to make session selection work as in "isabelle build";

wenzelm [Mon, 14 Oct 2019 21:57:36 +0200] rev 70869

incorporate sessions with record_proofs;

wenzelm [Mon, 14 Oct 2019 21:44:07 +0200] rev 70868

clarified options;

wenzelm [Mon, 14 Oct 2019 21:00:04 +0200] rev 70867

clarified signature;

wenzelm [Mon, 14 Oct 2019 20:29:19 +0200] rev 70866

clarified signature;

wenzelm [Mon, 14 Oct 2019 20:22:37 +0200] rev 70865

clarified signature;

wenzelm [Mon, 14 Oct 2019 20:05:16 +0200] rev 70864

clarified signature;

wenzelm [Mon, 14 Oct 2019 19:58:38 +0200] rev 70863

clarified "isabelle update" options -- more like "isabelle dump";

isabelle