home *** CD-ROM | disk | FTP | other *** search
/ PC World 1998 October / PCWorld_1998-10_cd.bin / software / prehled / komix / DATA.Z / propdefs.propdefs < prev    next >
Text File  |  1997-09-01  |  233b  |  7 lines
  1. #
  2. # @(#)propdefs.propdefs    /main/titanic/2 20 Aug 1997
  3. #
  4. require   | Require   | SingleLineText | -columnCount 30
  5. ensure    | Ensure    | SingleLineText | -columnCount 30
  6. invariant | Invariant | SingleLineText | -columnCount 30
  7.