src/Tools/jEdit/src/jEdit.props
changeset 69643 83f15deb2d36
parent 69343 395c4fb15ea2
child 69644 f044766cd94f
--- a/src/Tools/jEdit/src/jEdit.props	Sat Jan 12 21:26:35 2019 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Jan 13 13:33:23 2019 +0100
@@ -230,6 +230,7 @@
 isabelle.newline.shortcut=ENTER
 isabelle.options.label=Isabelle options
 isabelle.preview.label=Show preview in browser
+isabelle-export-browser.label=Browse theory exports
 isabelle.reset-continuous-checking.label=Reset continuous checking
 isabelle.reset-font-size.label=Reset font size
 isabelle.reset-node-required.label=Reset node required