/Makefile/1.4/Sun Oct 19 22:05:21 2008//
/platid_gen.h/1.5/Sat Sep 24 03:02:12 2011//
/scan.l/1.6/Sat Sep 24 03:02:12 2011//
/gram.y/1.5/Thu Mar 27 04:08:36 2014//
/platid_gen.c/1.11/Thu Mar 27 04:08:36 2014//
D
