updated to polyml-5.5.3-20150908, with support for x86_64-windows and Unicode file-names;

--- a/Admin/components/components.sha1	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/components/components.sha1	Tue Sep 08 20:06:17 2015 +0200
@@ -93,6 +93,7 @@
 5b31ad8556e41dfd6d5e85f407818be399aa3d2a  polyml-5.5.2-3.tar.gz
 532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
 1c53f699d35c0db6c7cf4ea51f2310adbd1d0dc5  polyml-5.5.3-20150820.tar.gz
+b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a  polyml-5.5.3-20150908.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz

--- a/Admin/components/main	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/components/main	Tue Sep 08 20:06:17 2015 +0200
@@ -9,7 +9,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.3-20150820
+polyml-5.5.3-20150908
 scala-2.11.7
 spass-3.8ds
 xz-java-1.2-1

--- a/Admin/polyml/build	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/polyml/build	Tue Sep 08 20:06:17 2015 +0200
@@ -64,11 +64,11 @@
     OPTIONS=()
     ;;
   x86-windows)
-    OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include')
+    OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include -DUNICODE -D_UNICODE')
     PATH="/mingw32/bin:$PATH"
     ;;
   x86_64-windows)
-    OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include')
+    OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include -DUNICODE -D_UNICODE')
     PATH="/mingw64/bin:$PATH"
     ;;
   *)

--- a/Admin/polyml/settings	Tue Sep 08 17:34:46 2015 +0200
+++ b/Admin/polyml/settings	Tue Sep 08 20:06:17 2015 +0200
@@ -40,6 +40,12 @@
 esac
 
 case "$ML_PLATFORM" in
+  x86_64-windows)
+    ML_OPTIONS="-H 1000 --codepage utf8"
+    ;;
+  x86-windows)
+    ML_OPTIONS="-H 500 --codepage utf8"
+    ;;
   x86_64-*)
     ML_OPTIONS="-H 1000"
     ;;