Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-04-26 19:43:27 -0700 (Fri, 26 Apr 2002)
Revision: 3587
Log message:

      Adding file to specify which modules to print documentation for.
      (And adding .cvsignore to ignore generated files.)
      

Changes	Path
Properties	metaprl/doc/latex/theories/mc
Added	metaprl/doc/latex/theories/mc/print.ml
Properties	metaprl/doc/latex/theories/mc/print.ml