--- a/src/Tools/jEdit/src/Isabelle.props Tue May 29 13:46:50 2012 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props Tue May 29 16:39:42 2012 +0200
@@ -51,17 +51,19 @@
#menu actions
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
+plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel
isabelle.session-panel.label=Prover Session panel
isabelle.output-panel.label=Output panel
isabelle.raw-output-panel.label=Raw Output panel
isabelle.protocol-panel.label=Protocol panel
+isabelle.readme-panel.label=README panel
#dockables
isabelle-session.title=Prover Session
isabelle-output.title=Output
isabelle-raw-output.title=Raw Output
isabelle-protocol.title=Protocol
+isabelle-readme.title=README
#SideKick
sidekick.parser.isabelle.label=Isabelle