# HG changeset patch
# User wenzelm
# Date 1229789667 -3600
# Node ID c57a53d4469aa413c081ed55eb9822d495d015a6
# Parent  4187cec99c1117b0c19c542006a7bdec10abc0f1
added author field;
adapted isabelle action names;
tuned;

diff -r 4187cec99c11 -r c57a53d4469a src/Tools/jEdit/plugin/Isabelle.props
--- a/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 16:07:51 2008 +0100
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 17:14:27 2008 +0100
@@ -2,8 +2,9 @@
 
 #identification
 plugin.isabelle.jedit.Plugin.name=Isabelle
+plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel
 plugin.isabelle.jedit.Plugin.version=0.0.1
-plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support
+plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing
 
 #system parameters
 plugin.isabelle.jedit.Plugin.activate=defer
@@ -24,19 +25,20 @@
 options.isabelle.font-size.title=Font Size
 options.isabelle.font-size=14
 
-#menu
+#menu actions
 plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
+plugin.isabelle.jedit.Plugin.menu=isabelle.show-output isabelle.show-state isabelle.activate isabelle.show-scroller
+isabelle.show-output.label=Show Output
+isabelle.show-state.label=Show State
+isabelle.show-scroller.label=Show Scroller
+isabelle.activate.label=Activate current buffer
 
-Isabelle.show-output.label=Show Output
-Isabelle.show-state.label=Show State
-Isabelle.show-scroller.label=Show Scroller
-Isabelle.activate.label=Activate current buffer
+#dockables
+isabelle-output.title=Isabelle Output
+isabelle-state.title=Isabelle State
+isabelle-scroller.title=Isabelle Scroller
 
-Isabelle_output.title=Isabelle Output
-Isabelle_state.title=Isabelle State
-Isabelle_scroller.title=Isabelle Scroller
-
+#SideKick
 sidekick.parser.isabelle.label=Isabelle
 mode.isabelle.sidekick.parser=isabelle
 mode.ml.sidekick.parser=isabelle