Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-09-04 12:51:23 -0700 (Wed, 04 Sep 2002)
Revision: 3847
Log message:

      Oops, be careful about the @ in an email address.
      

Changes  Path
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_intro.ml