Admin/polyml/README
changeset 69782 76f2d492627e
parent 69776 f646759090ce
child 69816 ce4842d2d150
     1.1 --- a/Admin/polyml/README	Fri Feb 01 15:02:36 2019 +0100
     1.2 +++ b/Admin/polyml/README	Fri Feb 01 15:45:59 2019 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  This compilation of Poly/ML (https://www.polyml.org) is based on the
     1.6  repository version
     1.7 -https://github.com/polyml/polyml/commit/1236652ebd55 (master).
     1.8 +https://github.com/polyml/polyml/commit/b68438d33c69 (master).
     1.9  
    1.10  The Isabelle repository provides the administrative tool
    1.11  "build_polyml", which can be used in the polyml component directory as
    1.12 @@ -48,4 +48,4 @@
    1.13  
    1.14  
    1.15          Makarius
    1.16 -        31-Jan-2019
    1.17 +        01-Feb-2019