-- Properties.df
-- 	Copyright (C) 1985, 1986 by Xerox Corporation.  All rights reserved.
-- 	Christian Jacobi, September 19, 1985 4:57:42 pm PDT
-- 	Last edited: Christian Jacobi,   September 19, 1985 4:59:58 pm PDT
-- gbb May 17, 1986 5:24:25 pm PDT

Exports [Cedar]<CedarChest6.1>top>
  Properties.df                                13-Jun-86 10:34:08 PDT

Exports [Cedar]<CedarChest6.1>Documentation>
  PropertiesDoc.tioga!2                        13-Jun-86 10:33:40 PDT

Exports [Cedar]<CedarChest6.1>Properties>
  Properties.load!1                            19-Sep-85 16:59:36 PDT
  Properties.mesa!1                            19-Sep-85 17:50:37 PDT
  Properties.bcd!1                             19-Sep-85 18:12:20 PDT
 +PropertiesImpl.bcd!1                         19-Sep-85 18:12:29 PDT

Directory [Cedar]<CedarChest6.1>Properties>
  PropertiesImpl.mesa!1                        19-Sep-85 17:51:52 PDT