ross 2005/06/28 03:48:42 PDT Modified files: libraries/Cabal/doc Cabal.xml Log: document profiling and greencard options Revision Changes Path 1.30 +54 -0 fptools/libraries/Cabal/doc/Cabal.xml