Craig Aspinall

Add -X option to trigger PGIP interaction mode.

Add cdata output. Add tabs in whitespace. Write two strings instead of Library.quote.

Add FIXME note re FAIL (is it fixed yet?)

Add panic function which exits Isabelle immediately.

Add alternative syntax for attributes

Interface configuration for Isar

Removed this: not really ready yet.

Add \usepackage{latexsym}