Admin/polyml/README
changeset 51043 bf5f6affa87d
parent 49400 f0c86a5ef4e2
child 51066 7fc61bfb1c2d
equal deleted inserted replaced
51042:f024975be336 51043:bf5f6affa87d
    15 Also note that the separate "sha1" library module is required for
    15 Also note that the separate "sha1" library module is required for
    16 efficient digesting of strings according to SHA-1.
    16 efficient digesting of strings according to SHA-1.
    17 
    17 
    18 
    18 
    19 	Makarius
    19 	Makarius
    20 	17-Sep-2012
    20 	21-Jan-2013