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

--- a/Admin/components/components.sha1	Sat Oct 31 21:24:40 2020 +0000
+++ b/Admin/components/components.sha1	Sun Nov 01 14:04:52 2020 +0100
@@ -265,6 +265,7 @@
 33568f69ce813b7405386ddbefa14ad0342bb8f0  polyml-test-a3cfdf648da.tar.gz
 4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
 f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
+cb2318cff6ea9293cd16a4435a4fe28ad9dbe0b8  polyml-test-cf46747fee61.tar.gz
 67ffed2f98864721bdb1e87f0ef250e4c69e6160  polyml-test-d68c6736402e.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
 609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz

--- a/Admin/components/main	Sat Oct 31 21:24:40 2020 +0000
+++ b/Admin/components/main	Sun Nov 01 14:04:52 2020 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.7
-polyml-test-d68c6736402e
+polyml-test-cf46747fee61
 postgresql-42.2.9
 scala-2.12.12
 smbc-0.4.1

--- a/Admin/polyml/README	Sat Oct 31 21:24:40 2020 +0000
+++ b/Admin/polyml/README	Sun Nov 01 14:04:52 2020 +0100
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML (http://www.polyml.org) is based on the
 repository version
-https://github.com/polyml/polyml/commit/d68c6736402e
+https://github.com/polyml/polyml/commit/cf46747fee61
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
 
 
         Makarius
-        14-Oct-2020
+        01-Nov-2020