Admin/polyml/README
changeset 70084 63721ee8c86c
parent 70052 02e0458d342f
     1.1 --- a/Admin/polyml/README	Mon Mar 11 23:02:18 2019 +0100
     1.2 +++ b/Admin/polyml/README	Tue Mar 12 15:34:33 2019 +0100
     1.3 @@ -1,12 +1,11 @@
     1.4  Poly/ML for Isabelle
     1.5  ====================
     1.6  
     1.7 -This compilation of Poly/ML (https://www.polyml.org) is based on the
     1.8 -repository version
     1.9 -https://github.com/polyml/polyml/commit/fef9f8681c2f (master).
    1.10 +This compilation of Poly/ML 5.8 (https://www.polyml.org) is based on the
    1.11 +source distribution from https://github.com/polyml/polyml/releases/tag/v5.8
    1.12  
    1.13 -The Isabelle repository provides the administrative tool
    1.14 -"build_polyml", which can be used in the polyml component directory as
    1.15 +The Isabelle repository provides an administrative tool "isabelle
    1.16 +build_polyml", which can be used in the polyml component directory as
    1.17  follows.
    1.18  
    1.19  * Linux:
    1.20 @@ -48,4 +47,4 @@
    1.21  
    1.22  
    1.23          Makarius
    1.24 -        06-Mar-2019
    1.25 +        12-Mar-2019