next up previous contents index
Next: TNT Refinement Up: Contents Previous: Contents

Conventions

There are a number of conventions used in this document. One set of conventions use the typeface to indicate what kind of object is being described. These conventions are

Another series of conventions are involved in the specification of syntax. When describing a data statement or command there has to be a method to specify that something is optional or something else can be repeated. These conventions are



Dale Edwin Tronrud
Wed Jul 5 13:21:03 PDT 2000