tuned -- sort lines;
authorwenzelm
Thu, 31 Jan 2019 16:45:24 +0100
changeset 69788 ae1ef77746b5
parent 69787 a8ee66876a1a
child 69789 ca9780325a21
tuned -- sort lines;
src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:44:04 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Thu Jan 31 16:45:24 2019 +0100
@@ -187,18 +187,20 @@
 home.shortcut=
 insert-newline-indent.shortcut=
 insert-newline.shortcut=
-isabelle.antiquoted_cartouche.label=Make antiquoted cartouche
 isabelle-debugger.dock-position=floating
 isabelle-documentation.dock-position=left
+isabelle-export-browser.label=Browse theory exports
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
+isabelle-session-browser.label=Browse session information
 isabelle-simplifier-trace.dock-position=floating
 isabelle-sledgehammer.dock-position=bottom
 isabelle-state.dock-position=right
 isabelle-symbols.dock-position=bottom
 isabelle-theories.dock-position=right
+isabelle.antiquoted_cartouche.label=Make antiquoted cartouche
 isabelle.complete-word.label=Complete word
 isabelle.complete.label=Complete Isabelle text
 isabelle.complete.shortcut2=C+b
@@ -230,8 +232,6 @@
 isabelle.newline.shortcut=ENTER
 isabelle.options.label=Isabelle options
 isabelle.preview.label=Show preview in browser
-isabelle-export-browser.label=Browse theory exports
-isabelle-session-browser.label=Browse session information
 isabelle.reset-continuous-checking.label=Reset continuous checking
 isabelle.reset-font-size.label=Reset font size
 isabelle.reset-node-required.label=Reset node required