Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 23:15:32 -0700 (Thu, 17 Jun 2004)
Revision: 5933
Log message:

      Added MetaPRL version to the Welcome page. HTML could be nicer, though.
      

Changes  Path
+1 -0 metaprl/editor/ml/shell_mp.ml
+1 -0 metaprl/editor/ml/shell_p4.ml
+1 -0 metaprl/support/shell/browser_copy.mli
+1 -0 metaprl/support/shell/browser_copy.mll
+9 -3 metaprl/support/shell/inputs/welcome.html
+1 -0 metaprl/support/shell/shell.ml
+1 -0 metaprl/support/shell/shell_browser.ml
+1 -0 metaprl/support/shell/shell_p4_sig.mlz
+2 -0 metaprl/support/shell/shell_sig.mlz