[ProofPower] PP and XML

[Roger Bishop Jones]

Since Gregg Reynolds has been talking about (inter alia) 
ProofPower literate programming, I thought it might be worth 
mentioning that I did some hacking a few years back to permit 
ProofPower to be used with XML source documents and to generate 
HTML from these documents.

There are some examples of this kind of material on my web site 
at:
http://www.rbjones.com/rbjpub/pp

I am now resuming work in this area, at the moment looking at 
getting something out of docbook (which I didn't use).
Docbook also comes with some literate programming stuff.

Is anyone else interested in ProofPower and XML?

Roger Jones