[ProofPower] PP and XML

[Roger Bishop Jones]

On Wednesday 25 January 2006 16:33, Gregg Reynolds wrote:

> Sounds interesting.  But if you use xpp to edit the texts, why
> the XML mapping?  Do you do some kind of transformation on it?

Yes, I use XSLT to transform it into HTML, thats the origin of 
the ProofPower pages on my web site.

Thanks for all the stuff about emacs.
I'm a rather primitive emacs user so I could have some problems 
digesting it!
I'll get back to you off list on the emacs stuff when I've read 
it properly.

Roger Jones