simonmar 2005/04/25 02:32:23 PDT Modified files: ghc/docs/users_guide profiling.xml Log: daVinci is now called uDraw(Graph) Revision Changes Path 1.5 +4 -6 fptools/ghc/docs/users_guide/profiling.xml