Tue Sep 25 22:53:31 PDT 2007 andy at galois.com * Fixing #1340, adding HPC Documentation M ./docs/users_guide/flags.xml -1 +1 M ./docs/users_guide/profiling.xml -30 +188