# HG changeset patch
# User wenzelm
# Date 1477302159 -7200
# Node ID a424f27376469d74f613387216c0dd5266f1e9f6
# Parent  e0ab4c0a5a9384316fee185aa79fd6b91a9e92ae
updated for release;

diff -r e0ab4c0a5a93 -r a424f2737646 src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Mon Oct 24 11:10:17 2016 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props	Mon Oct 24 11:42:39 2016 +0200
@@ -5,7 +5,7 @@
 #identification
 plugin.isabelle.jedit.Plugin.name=Isabelle
 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.version=8.0
 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
 
 #system parameters