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

[Roger Bishop Jones]

On Friday 10 September 2004  6:13 pm, you wrote:
> 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.

The reference manuals are generated automatically from the
detailed design documents.
Files such as usr030.doc may be found after building
ProofPower in the src directory of the place where you
built it.  However, usr030.doc consists mainly of section
headings with LaTeX "include" commands incorporating the
substance from a large number of subsidiary .tex files,
so I doubt that it would serve your purposes.

I don't know what you are trying to do but if I wanted
for example to know what the reference manual has to
say about some special character I would look up that
character in the KWIC index.  Of course, this only
gives you defining occurrences of names including that
character, not every mention.

I often grep the ProofPower source files, and sometimes
I find it useful to grep for a string which contains a
special character (e.g. the index brackets, which help
to find defining occurrences).
I do this in emacs which doesn't display the characters
correctly, but it still works with grep if you can cut
and paste the special characters.  That tells you which
documents contain the material of interest, and you can
then look at the documents with xpp.

Roger Jones