updated to polyml-test-b68438d33c69;
authorwenzelm
Fri Feb 01 15:45:59 2019 +0100 (3 months ago)
changeset 6978276f2d492627e
parent 69781 a7529ac9c1c5
child 69783 dde776d1defa
updated to polyml-test-b68438d33c69;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
     1.1 --- a/Admin/components/components.sha1	Fri Feb 01 15:02:36 2019 +0100
     1.2 +++ b/Admin/components/components.sha1	Fri Feb 01 15:45:59 2019 +0100
     1.3 @@ -204,6 +204,7 @@
     1.4  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
     1.5  2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
     1.6  4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
     1.7 +f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
     1.8  b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
     1.9  609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
    1.10  a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
     2.1 --- a/Admin/components/main	Fri Feb 01 15:02:36 2019 +0100
     2.2 +++ b/Admin/components/main	Fri Feb 01 15:45:59 2019 +0100
     2.3 @@ -12,7 +12,7 @@
     2.4  kodkodi-1.5.2-1
     2.5  nunchaku-0.5
     2.6  opam-1.2.2
     2.7 -polyml-test-1236652ebd55
     2.8 +polyml-test-b68438d33c69
     2.9  postgresql-42.2.5
    2.10  scala-2.12.8
    2.11  smbc-0.4.1
     3.1 --- a/Admin/polyml/README	Fri Feb 01 15:02:36 2019 +0100
     3.2 +++ b/Admin/polyml/README	Fri Feb 01 15:45:59 2019 +0100
     3.3 @@ -3,7 +3,7 @@
     3.4  
     3.5  This compilation of Poly/ML (https://www.polyml.org) is based on the
     3.6  repository version
     3.7 -https://github.com/polyml/polyml/commit/1236652ebd55 (master).
     3.8 +https://github.com/polyml/polyml/commit/b68438d33c69 (master).
     3.9  
    3.10  The Isabelle repository provides the administrative tool
    3.11  "build_polyml", which can be used in the polyml component directory as
    3.12 @@ -48,4 +48,4 @@
    3.13  
    3.14  
    3.15          Makarius
    3.16 -        31-Jan-2019
    3.17 +        01-Feb-2019