<?xml version="1.0" encoding="iso-8859-1"?> <mascot-report version="1.0"> <entry kind="error" category="typography" check="header" file="a.mli" line="2" message="invalid header"/> <entry kind="error" category="typography" check="header" file="b.ml" line="7" message="invalid header"/> </mascot-report>