Changes between Version 9 and Version 10 of DoAndIfThenElse


Ignore:
Timestamp:
Feb 19, 2007 11:02:32 AM (7 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DoAndIfThenElse

    v9 v10  
    2222Jon Fairbairn suggests that `case` should get the same treatment, for consistency: 
    2323{{{ 
    24 case whatever 
    25 of 
    26    blah -> bluh 
    27    blah' -> bluh' 
     24do case whatever 
     25   of 
     26      blah -> bluh 
     27      blah' -> bluh' 
    2828}}} 
    2929