/ephemeris-flags.adb/1.3/Sat Aug 31 11:40:37 2002//
/ephemeris-flags.ads/1.3/Sat Aug 31 11:40:38 2002//
/ephemeris.adb.p/1.3/Sat Aug 31 11:40:39 2002//
/ephemeris.ads.p/1.3/Sat Aug 31 11:40:40 2002//
D
