I checked the "Tripwire for Servers User Guide" and it states:

Tripwire for servers generates report files in plain text format by default.
It also states you can generate them in either HTML or XML using command line options.

Tripwire for Servers User Guide


Cheers: