-- 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]top> Properties.df 07-Jan-86 16:46:46 PST Exports [Cedar]Documentation> PropertiesDoc.tioga!1 19-Sep-85 18:08:42 PDT Exports [Cedar]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]Properties> PropertiesImpl.mesa!1 19-Sep-85 17:51:52 PDT