K 10
svn:author
V 3
bde
K 8
svn:date
V 27
2000-09-26T18:34:30.000000Z
K 7
svn:log
V 166
Handle slip options in the usual way (generate a dummy options file in
the module Makefile and don't clutter the sources with ifdefs).

Fixed nearby formatting bugs.

END