[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Windows' "split status"
From: |
martin rudalics |
Subject: |
Re: Windows' "split status" |
Date: |
Fri, 25 Nov 2011 14:54:52 +0100 |
User-agent: |
Thunderbird 2.0.0.21 (Windows/20090302) |
> 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
- Re: Windows' "split status", (continued)
- Re: Windows' "split status", Eli Zaretskii, 2011/11/23
- Re: Windows' "split status", martin rudalics, 2011/11/24
- Re: Windows' "split status", Eli Zaretskii, 2011/11/24
- Re: Windows' "split status", martin rudalics, 2011/11/25
- Re: Windows' "split status", Eli Zaretskii, 2011/11/25
- Re: Windows' "split status", martin rudalics, 2011/11/25
- Re: Windows' "split status", Nix, 2011/11/25
- Re: Windows' "split status", Eli Zaretskii, 2011/11/25
- Re: Windows' "split status", Nix, 2011/11/25
- Re: Windows' "split status", martin rudalics, 2011/11/25
- Re: Windows' "split status",
martin rudalics <=
- Re: Windows' "split status", martin rudalics, 2011/11/15
- Re: Windows' "split status", Juri Linkov, 2011/11/15
- Re: Windows' "split status", Chong Yidong, 2011/11/16
- Re: Windows' "split status", martin rudalics, 2011/11/16
- Re: Windows' "split status", Stefan Monnier, 2011/11/16
- Re: Windows' "split status", Juri Linkov, 2011/11/16
- Re: Windows' "split status", martin rudalics, 2011/11/17