from maudit.java:
public void setQuiet(boolean flag)
public void setExit(boolean flag)
public void setOffsets(boolean flag)
public void setVerbose(boolean flag)
public void setFullsemanticize(boolean flag)Which of these should be docoe'd as attributes in the html/javadocs? And what should I say about them? -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
