more recent polyml-test version;
authorwenzelm
Sun Oct 29 19:39:03 2017 +0100 (19 months ago)
changeset 66935d0f12783cd80
parent 66934 b86513bcf7ac
child 66936 cf8d8fc23891
child 66939 04678058308f
more recent polyml-test version;
Admin/components/components.sha1
Admin/components/main
src/Pure/General/table.ML
     1.1 --- a/Admin/components/components.sha1	Sun Oct 29 07:46:28 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Oct 29 19:39:03 2017 +0100
     1.3 @@ -159,6 +159,7 @@
     1.4  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
     1.5  2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
     1.6  b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
     1.7 +609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
     1.8  53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
     1.9  3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
    1.10  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     2.1 --- a/Admin/components/main	Sun Oct 29 07:46:28 2017 +0100
     2.2 +++ b/Admin/components/main	Sun Oct 29 19:39:03 2017 +0100
     2.3 @@ -10,7 +10,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  nunchaku-0.5
     2.7 -polyml-test-905dae2ebfda
     2.8 +polyml-test-e8d82343b692
     2.9  postgresql-42.1.4
    2.10  scala-2.12.3
    2.11  smbc-0.4.1
     3.1 --- a/src/Pure/General/table.ML	Sun Oct 29 07:46:28 2017 +0100
     3.2 +++ b/src/Pure/General/table.ML	Sun Oct 29 19:39:03 2017 +0100
     3.3 @@ -433,4 +433,3 @@
     3.4  structure Symtab = Table(type key = string val ord = fast_string_ord);
     3.5  structure Symreltab = Table(type key = string * string
     3.6    val ord = prod_ord fast_string_ord fast_string_ord);
     3.7 -