Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-05-15 00:10:57 -0700 (Tue, 15 May 2001)
Revision: 3231
Log message:

      Use Mozilla when available.
      

Changes	Path
+1 -0	metaprl/doc/latex/theories/Makefile
+3 -1	metaprl/util/cvsweb