
13 Jul
2012
13 Jul
'12
9:56 p.m.
On Fri, Jul 13, 2012 at 9:12 PM, Gábor Lehel
On Thu, Jul 12, 2012 at 7:38 PM, Cale Gibbard
wrote: case of { ... }
looks much better to me than
\case of { ... }
I also completely agree, but I don't want my opinion to get in the way of progress.
I don't much care whether what is implemented is "\case" or "case of" or even "\of" (even though that last reads weird), but "\case of" strikes me as including syntactic noise (a pointless extra token). One or the other; not both. -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms