1.1 --- a/Admin/polyml/README	Mon Jan 28 12:25:36 2013 +0100
     1.2 +++ b/Admin/polyml/README	Mon Jan 28 14:33:19 2013 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  Poly/ML for Isabelle
     1.5  ====================
     1.6  
     1.7 -This compilation of Poly/ML 5.5.0 is based on the official sources
     1.8 -from http://www.polyml.org
     1.9 +This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
    1.10 +svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
    1.11  
    1.12  The included build script is used like this:
    1.13  
    1.14 @@ -17,4 +17,4 @@
    1.15  
    1.16  
    1.17  	Makarius
    1.18 -	21-Jan-2013
    1.19 +	28-Jan-2013