Re: Z Errors in Shape Expressions 1.0 Definition

Eric/Harold,

Some progress. I noticed the button labelled "Display LaTeX for Z
notation". When I clicked it it showed the raw LaTeX, which is:

\begin{zed}
Graph == \power Triple
\end{zed}

This is correct Z syntax. The problem is that it is displayed
incorrectly. The culprit is your ExtractZed.xsl script. I have
experience in such scripts from my WSDL 2.0 days. Is the source and
build script posted somewhere?

-- Arthur

Received on Thursday, 19 March 2015 07:23:35 UTC