<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="5" column="9" message="extra whitespace after sign "(""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="5" column="51" message="extra whitespace before sign ")""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="9" column="8" message="extra whitespace after sign "[""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="11" column="8" message="missing whitespace after sign "[|""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="11" column="17" message="missing whitespace before sign "|]""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="19" column="15" message="missing whitespace after sign ")""/> <entry kind="error" category="typography" check="spaces_around_blocks" file="a.ml" line="19" column="18" message="missing whitespace before sign "[""/> </mascot-report>
