# HG changeset patch # User wenzelm # Date 1450901726 -3600 # Node ID 55b3d21ab5e574ead80ba7166074a7c8057c37f8 # Parent a10cc7fb184140fa1f9eb2ee2058d6d7ef1fd2d6 updated polyml; diff -r a10cc7fb1841 -r 55b3d21ab5e5 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Wed Dec 23 20:23:44 2015 +0100 +++ b/Admin/components/components.sha1 Wed Dec 23 21:15:26 2015 +0100 @@ -109,6 +109,7 @@ 1f5cd9b1390dab13861f90dfc06d4180cc107587 polyml-5.5.3-20150916.tar.gz 03ba81e595fa6d6df069532d67ad3195c37d9046 polyml-5.6-20151123.tar.gz 822f489c18e38ce5ef979ec21dccce4473e09be6 polyml-5.6-20151206.tar.gz +bd6a448f0e0d5787747f4f30ca661f9c1868e4a7 polyml-5.6-20151223.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 a10cc7fb1841 -r 55b3d21ab5e5 Admin/components/main --- a/Admin/components/main Wed Dec 23 20:23:44 2015 +0100 +++ b/Admin/components/main Wed Dec 23 21:15:26 2015 +0100 @@ -10,7 +10,7 @@ jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2 -polyml-5.6-20151206 +polyml-5.6-20151223 scala-2.11.7 spass-3.8ds xz-java-1.2-1 diff -r a10cc7fb1841 -r 55b3d21ab5e5 Admin/polyml/README --- a/Admin/polyml/README Wed Dec 23 20:23:44 2015 +0100 +++ b/Admin/polyml/README Wed Dec 23 21:15:26 2015 +0100 @@ -2,7 +2,7 @@ ==================== This is a preview of Poly/ML 5.6, based on -https://github.com/polyml/polyml/ commit b97488071c19. +https://github.com/polyml/polyml/ commit 74a14cce7b20. The included build script is used like this: @@ -18,4 +18,4 @@ Makarius - 23-Nov-2015 + 23-Dec-2015