/Makefile/1.3/Sun Sep 21 11:48:41 1997//
/cmp.1/1.17/Sat Jan 25 22:08:08 2014//
/cmp.c/1.18/Mon Mar  5 16:57:37 2018//
/extern.h/1.6/Mon Mar  5 16:53:39 2018//
/misc.c/1.7/Mon Mar  5 16:53:39 2018//
/regular.c/1.13/Sat Jan  9 09:58:12 2021//
/special.c/1.8/Mon Mar  5 16:53:39 2018//
D
