# HG changeset patch
# User wenzelm
# Date 1487939095 -3600
# Node ID 18f3d341f8c0b6af6248353fa7fe1033faec3b6f
# Parent  b69ef432438dfe6ccf93170a587a743dd69b45d6
back to Poly/ML 5.6 until odd memory management problems are sorted out;

diff -r b69ef432438d -r 18f3d341f8c0 Admin/components/main
--- a/Admin/components/main	Fri Feb 24 12:24:13 2017 +0100
+++ b/Admin/components/main	Fri Feb 24 13:24:55 2017 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.3
-polyml-5.7-20170217
+polyml-5.6-1
 postgresql-9.4.1212
 scala-2.11.8
 ssh-java-20161009
diff -r b69ef432438d -r 18f3d341f8c0 src/Pure/Concurrent/cache.ML
--- a/src/Pure/Concurrent/cache.ML	Fri Feb 24 12:24:13 2017 +0100
+++ b/src/Pure/Concurrent/cache.ML	Fri Feb 24 13:24:55 2017 +0100
@@ -29,4 +29,3 @@
   in apply end;
 
 end;
-