<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<META NAME="Generator" CONTENT="MS Exchange Server version 5.5.2657.73">
<TITLE>Re: z_output_theory questions</TITLE>
</HEAD>
<BODY>

<P><FONT SIZE=2>> As an alternative to some of Roger's suggestions, the Z theory lister </FONT>
<BR><FONT SIZE=2>> implementation (see imp065.doc) is very short and table-driven and it would </FONT>
<BR><FONT SIZE=2>> be the work of moments to create a customised variant of it that left the </FONT>
<BR><FONT SIZE=2>> offending section out. Perhaps I should add in some control over which </FONT>
<BR><FONT SIZE=2>> sections to print in a future release.</FONT>
</P>

<P><FONT SIZE=2>Is there some way of getting it to give the types of constants when they're declared, but otherwise give the constants without type information?  It's the type information, repeated over and over again, that makes things so long.</FONT></P>

<P><FONT SIZE=2>Steve</FONT>
</P>

<P><FONT SIZE=2>Stephen Brackin</FONT>
<BR><FONT SIZE=2>Senior Security Analyst</FONT>
<BR><FONT SIZE=2>CygnaCom Solutions, Inc.</FONT>
<BR><FONT SIZE=2>an Entrust company</FONT>
<BR><FONT SIZE=2>Phone: 607-277-8211 Fax:  607-277-8211</FONT>
<BR><FONT SIZE=2><A HREF="http://www.cygnacom.com" TARGET="_blank">http://www.cygnacom.com</A></FONT>
</P>

</BODY>
</HTML>