# HG changeset patch
# User wenzelm
# Date 1451594791 -3600
# Node ID 9de1eb745aebd614e12354e0c5e24c019bd30d99
# Parent  01823b93ddaf87c18cc5869963209e5759b1e908
updated for release;

diff -r 01823b93ddaf -r 9de1eb745aeb src/Tools/jEdit/src/Isabelle.props
--- 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
-