isabelle: Changelog

haftmann [Sun, 01 Nov 2020 16:54:49 +0100] rev 72536

bundle mixins for locale and class specifications

wenzelm [Sun, 01 Nov 2020 15:31:41 +0100] rev 72535

proper build_call for interpreted ARM platform;

wenzelm [Sun, 01 Nov 2020 14:30:09 +0100] rev 72534

prefer static library_call, following recent changes to structure Foreign;

wenzelm [Sun, 01 Nov 2020 14:04:52 +0100] rev 72533

updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign;

paulson [Sat, 31 Oct 2020 21:24:40 +0000] rev 72532

merged

paulson <lp15@cam.ac.uk> [Sat, 31 Oct 2020 21:18:31 +0000] rev 72531

more de-applying

paulson [Fri, 30 Oct 2020 18:49:01 +0000] rev 72530

merged

paulson [Fri, 30 Oct 2020 10:09:39 +0000] rev 72529

merged

paulson [Thu, 29 Oct 2020 23:27:07 +0000] rev 72528

merged

paulson <lp15@cam.ac.uk> [Thu, 29 Oct 2020 23:26:44 +0000] rev 72527

a further clean up

isabelle