updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
authorwenzelm
Sat Jul 28 17:25:40 2018 +0200 (14 months ago)
changeset 687028ef8905629ba
parent 68701 be936cf061ab
child 68703 2e31887d9664
updated to Poly/ML fixes-5.7.1 b3d1ff33a4b4;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
     1.1 --- a/Admin/components/components.sha1	Sat Jul 28 16:50:55 2018 +0200
     1.2 +++ b/Admin/components/components.sha1	Sat Jul 28 17:25:40 2018 +0200
     1.3 @@ -173,6 +173,7 @@
     1.4  262450ac9966abebae2e1d4f9ae703cfe0f5d8d9  polyml-5.7.1-5.tar.gz
     1.5  1aeb57877d694db7fe4d4395287cddf3bc77710b  polyml-5.7.1-6.tar.gz
     1.6  e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6  polyml-5.7.1-7.tar.gz
     1.7 +1430533c09b17f8be73798a47a5f409d43a04cf4  polyml-5.7.1-8.tar.gz
     1.8  171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
     1.9  80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
    1.10  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     2.1 --- a/Admin/components/main	Sat Jul 28 16:50:55 2018 +0200
     2.2 +++ b/Admin/components/main	Sat Jul 28 17:25:40 2018 +0200
     2.3 @@ -11,7 +11,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2-1
     2.6  nunchaku-0.5
     2.7 -polyml-5.7.1-7
     2.8 +polyml-5.7.1-8
     2.9  postgresql-42.2.2
    2.10  scala-2.12.6
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Sat Jul 28 16:50:55 2018 +0200
     3.2 +++ b/Admin/polyml/README	Sat Jul 28 17:25:40 2018 +0200
     3.3 @@ -3,7 +3,7 @@
     3.4  
     3.5  This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
     3.6  source distribution from https://github.com/polyml/polyml/commits/fixes-5.7.1
     3.7 -commit 31643fd67f47.
     3.8 +up to commit b3d1ff33a4b4.
     3.9  
    3.10  The Isabelle repository provides the administrative tool "build_polyml",
    3.11  which can be used in the polyml component directory as follows.
    3.12 @@ -54,4 +54,4 @@
    3.13  
    3.14  
    3.15          Makarius
    3.16 -        22-Jul-2018
    3.17 +        28-Jul-2018