Changes between Version 18 and Version 19 of Supercompilation


Ignore:
Timestamp:
Jul 15, 2009 7:05:13 AM (5 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v18 v19  
    5858 * Names:  
    5959   * Why is it sometimes $dShow{v a1lm} and sometimes $dShow_a1lm? The latter is easier to grep for. 
    60    * d{v X11d} and wild2{v X11d} are the same!?