--- a/src/Tools/jEdit/src/Isabelle.props Thu Dec 31 21:43:54 2015 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Thu Dec 31 21:46:31 2015 +0100
@@ -4,8 +4,8 @@
#identification
plugin.isabelle.jedit.Plugin.name=Isabelle
-plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Lars Hupel, Markus Kaiser, Makarius Wenzel
-plugin.isabelle.jedit.Plugin.version=6.0
+plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
+plugin.isabelle.jedit.Plugin.version=7.0
plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
#system parameters
@@ -92,4 +92,3 @@
sidekick.parser.isabelle.label=Isabelle
mode.bibtex.folding=sidekick
mode.bibtex.sidekick.parser=bibtex
-