updated to polyml-test-7e49fce62e3d --- follow current ongoing development;

--- a/Admin/components/components.sha1	Thu Nov 19 15:11:37 2020 +0100
+++ b/Admin/components/components.sha1	Thu Nov 19 17:46:58 2020 +0100
@@ -271,6 +271,7 @@
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
 609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
 b6d87466e9b44e8ef4a2fac74c96b139080a506a  polyml-test-f54aa41240d0.tar.gz
+d365f3fc11c2427cafc62b3c79951880a1476ebb  polyml-test-f86ae3dc1686.tar.gz
 a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz

--- a/Admin/components/main	Thu Nov 19 15:11:37 2020 +0100
+++ b/Admin/components/main	Thu Nov 19 17:46:58 2020 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.7
-polyml-test-7e49fce62e3d
+polyml-test-f86ae3dc1686
 postgresql-42.2.9
 scala-2.12.12
 smbc-0.4.1

--- a/Admin/polyml/README	Thu Nov 19 15:11:37 2020 +0100
+++ b/Admin/polyml/README	Thu Nov 19 17:46:58 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/cf46747fee61
+https://github.com/polyml/polyml/commit/f86ae3dc1686
 
 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
-        01-Nov-2020
+        19-Nov-2020