/patch-aa/1.1/Thu Sep 25 08:47:49 1997//
/patch-ab/1.1/Thu Sep 25 08:47:50 1997//
/patch-ac/1.2/Sun Jan 18 09:08:41 1998//
/patch-ad/1.2/Sun Jan 18 09:08:41 1998//
/patch-ae/1.2/Sun Jan 18 09:08:41 1998//
/patch-af/1.2/Sun Jan 18 09:08:42 1998//
/patch-freebsdgcc/1.1/Thu Sep 25 08:47:55 1997//
/patch-gnat/1.1/Thu Sep 25 08:47:56 1997//
D
