2 Commits

Author	SHA1	Message	Date
ccremers	5e10206df1	- Added encapsulated dot output and claim reporting to the XML output.	2006-08-01 07:31:40 +00:00
ccremers	924abc065d	- Added xml output switch (-x, check scyther --help). It's not complete ... yet, to be finished tomorrow.	2005-05-01 13:32:50 +00:00