Re: Windows' "split status"

[martin rudalics]

> Uh, why on earth would a user reading a docstring care about that? The
> insides of Emacs's implementation are of no interest to her. Lots of
> Emacs invariants don't hold while various built-in functions are
> executing (in fact, no invariant relying on more state than a single
> atomic variable can hold at all times). That doesn't mean they're any
> less invariants at the Lisp level.

Then why do you complain about the use of "always" in the first place?
"always" (aka "globally") is the basic operator of temporal logic for
proving that a property is an invariant.

martin