Version 10 of then

Updated 2007-06-01 09:17:34 by dkf

Optional argument of if. It's usually good style to omit the then itself, but can aid clarity when using multi-line expressions. Compare with else.