"Documentation by paper"

[Dale Johannesen]

On Feb 3, 2004, at 2:05 PM, Robert Dewar wrote:
> A little followup on Dominator. I looked through a bunch of
> Google references, and indeed there is a variation on whether
> people consider that a node can dominate itself. Some authors
> use the term strict dominator to refer to the relation that
> excludes A dominating itself, but others use simply Dominator
> to refer to this.
>
> That's typical of little variations that can cause endless
> troubles if you don't have accurate sets of definitions.

While I have no wish to discourage anyone from improving the
documentation (and I'm curious how many people on this thread
are actually doing so), I think you exaggerate the dangers.
"block" means different things to FE people and BE people,
and there are places where it isn't obvious which is meant until
you grovel through the code a bit, and we've all been coping with
it for years.