[ProofPower] ".doc" version of Z Reference Manual

[Stephen Brackin]

Is a ".doc" version of the Z Reference Manual available, or is there a
reasonably easy way to produce one from the version 2.7.3 source?  I'd like
to have something that I could search for extended characters online using
xpp.

Steve

Stephen Brackin
Senior Security Analyst
CygnaCom Solutions, Inc.
an Entrust company
Phone: 607-277-8211 Fax:  607-277-8211
http://www.cygnacom.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20040910/537a9396/attachment.htm>