Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/plugin/Isabelle.props
changeset 39630 44181423183a
parent 39617 a58eba339d2b
child 39702 d7c256cb2797 
--- a/src/Tools/jEdit/plugin/Isabelle.props	Thu Sep 23 16:48:48 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Thu Sep 23 18:44:26 2010 +0200
@@ -35,8 +35,7 @@
 
 #menu actions
 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
-isabelle.activate.label=Activate current buffer
+plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
 isabelle.session-panel.label=Prover Session panel
 isabelle.output-panel.label=Output panel
 isabelle.raw-output-panel.label=Raw Output panel
isabelle