let
string_of_revision_number number =
String
.concat
"."
(
List
.map string_of_int number)