/Makefile/1.5/Wed Oct  5 14:01:44 2005//
/README/1.2/Mon Nov 22 16:25:31 1999//
/default.gpr/1.1/Wed Oct  5 14:01:44 2005//
/main.adb/1.4/Mon Apr 15 12:12:01 2002//
/my_widget.adb/1.10/Mon Apr 15 12:12:01 2002//
/my_widget.ads/1.3/Mon Apr 15 12:12:01 2002//
D
