isabelle: Changelog

wenzelm [Fri, 17 Jul 2020 17:06:54 +0200] rev 72056

proper session imports;

wenzelm [Fri, 17 Jul 2020 15:13:03 +0200] rev 72055

clarified -- avoid non-standard extend;

wenzelm [Fri, 17 Jul 2020 15:08:56 +0200] rev 72054

tuned -- avoid non-standard extend/merge;

wenzelm [Fri, 17 Jul 2020 14:56:55 +0200] rev 72053

prefer conservative extend/merge of theory naming;

wenzelm [Thu, 16 Jul 2020 22:24:03 +0200] rev 72052

support native PID for ML process;

wenzelm [Thu, 16 Jul 2020 20:35:03 +0200] rev 72051

merged

wenzelm [Thu, 16 Jul 2020 20:34:21 +0200] rev 72050

clarified theory data: more robust merge;

wenzelm [Thu, 16 Jul 2020 16:53:08 +0200] rev 72049

proper import sessions;

wenzelm [Thu, 16 Jul 2020 16:48:12 +0200] rev 72048

more thorough extend/merge (for Theory.join_theory);

wenzelm [Thu, 16 Jul 2020 16:38:25 +0200] rev 72047

more thorough extend/merge (for Theory.join_theory);

isabelle