[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Flushing old-style do



DO (old as well as new style) is very heavily used, and there is nothing
to be gained by flushing the old style other than an extremely minor
simplification of documentation.  Let's concentrat on something
at least marginally worthwhile.