-- Properties.df -- Copyright (C) 1985 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 Exports [Cedar]<CedarChest6.0>top> Properties.df 19-Sep-85 18:12:33 PDT Exports [Cedar]<CedarChest6.0>Documentation> PropertiesDoc.tioga!1 19-Sep-85 18:08:42 PDT Exports [Cedar]<CedarChest6.0>Properties> Properties.load!1 19-Sep-85 16:59:36 PDT Properties.mesa!1 19-Sep-85 17:50:37 PDT Properties.bcd!2 19-Sep-85 18:12:20 PDT +PropertiesImpl.bcd!2 19-Sep-85 18:12:29 PDT Directory [Cedar]<CedarChest6.0>Properties> PropertiesImpl.mesa!1 19-Sep-85 17:51:52 PDT