Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 19:58:44 -0700 (Thu, 24 Jun 2004)
Revision: 6019
Log message:

      Updated documentation for OMake. Please take a look!
      

Changes	Path
+9 -35	metaprl/README
+4 -3	metaprl/README.WIN32
+12 -9	metaprl/doc/htmlman/developer-guide/debugging.html
+6 -10	metaprl/doc/htmlman/developer-guide/profiling.html
+43 -39	metaprl/doc/htmlman/mp-install.html
+1 -1	metaprl/doc/htmlman/mp.html
+1 -1	metaprl/doc/itt_quickref.txt
+1 -1	metaprl/doc/latex/theories/README