Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-17 19:07:40 -0700 (Thu, 17 Jun 2004)
Revision: 5927
Log message:

      Added some extra items to the menus.
      Note, I need to work on disabling them
      when outside of a proof.
      

Changes	Path
+12 -5	metaprl/support/shell/browser_resource.ml
+5 -1	metaprl/support/shell/inputs/menuserver.js
+12 -0	metaprl/support/shell/inputs/style.css