module HTML#:nodoc:
  module Version#:nodoc:

    MAJOR = 0
    MINOR = 5
    TINY  = 0

    STRING = [ MAJOR, MINOR, TINY ].join(".")

  end
end