Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-30 22:51:45 -0800 (Wed, 30 Oct 2002)
Revision: 3920
Log message:

      Changed the scripts to all use /bin/sh, not /bin/csh.
      Pls let me know if this broke something.
      

Changes	Path
+4 -4	metaprl/doc/latex/theories/ocaml_doc/update
+2 -2	metaprl/editor/ml/mp
+24 -20	metaprl/editor/ml/mpconfig
+2 -2	metaprl/editor/ml/mpdebug
+3 -2	metaprl/editor/ml/mpgossip
+2 -2	metaprl/editor/ml/mpopt
+2 -2	metaprl/editor/ml/mpserver
+2 -2	metaprl/editor/ml/mptop
+1 -1	metaprl/mk/make_config.sh