Changes between Version 11 and Version 12 of Commentary/Profiling


Ignore:
Timestamp:
Jan 12, 2007 12:33:49 PM (7 years ago)
Author:
kirsten
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Profiling

    v11 v12  
    1414 
    1515The code for this isn't in the HEAD yet. Should be checked in soon. 
     16 
     17TODO: update the GHC manual section on this. 
    1618 
    1719=== Using ticky-ticky profiling ===