# HG changeset patch
# User wenzelm
# Date 1442414073 -7200
# Node ID b6b5e41d261b39384272c1c4d5b2fa7efd7ee4fc
# Parent  e4716b792713b63cf87746ed6cac192c6dc6c499
updated to polyml-5.5.3-20150916 (polyml git version cb1b36caa242);

diff -r e4716b792713 -r b6b5e41d261b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Sep 15 22:25:06 2015 +0200
+++ b/Admin/components/components.sha1	Wed Sep 16 16:34:33 2015 +0200
@@ -95,6 +95,7 @@
 1c53f699d35c0db6c7cf4ea51f2310adbd1d0dc5  polyml-5.5.3-20150820.tar.gz
 b4b624fb5f34d1dc814fb4fb469fafd7d7ea018a  polyml-5.5.3-20150908.tar.gz
 b668e1f43a41608a8eb365c5e19db6c54c72748a  polyml-5.5.3-20150911.tar.gz
+1f5cd9b1390dab13861f90dfc06d4180cc107587  polyml-5.5.3-20150916.tar.gz
 8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
 8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
diff -r e4716b792713 -r b6b5e41d261b Admin/components/main
--- a/Admin/components/main	Tue Sep 15 22:25:06 2015 +0200
+++ b/Admin/components/main	Wed Sep 16 16:34:33 2015 +0200
@@ -9,7 +9,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.3-20150911
+polyml-5.5.3-20150916
 scala-2.11.7
 spass-3.8ds
 xz-java-1.2-1
diff -r e4716b792713 -r b6b5e41d261b Admin/polyml/build
--- a/Admin/polyml/build	Tue Sep 15 22:25:06 2015 +0200
+++ b/Admin/polyml/build	Wed Sep 16 16:34:33 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' --disable-windows-gui)
     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' --disable-windows-gui)
     PATH="/mingw64/bin:$PATH"
     ;;
   *)