# HG changeset patch
# User wenzelm
# Date 1503257835 -7200
# Node ID c21a0198881b0e0220ae5d8dccee9f9cd45d4246
# Parent  934bd55d768a743433e118597eb56e8bc723fea8
updated for release;

diff -r 934bd55d768a -r c21a0198881b src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Sun Aug 20 21:32:26 2017 +0200
+++ b/src/Tools/jEdit/src/Isabelle.props	Sun Aug 20 21:37:15 2017 +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=8.0
+plugin.isabelle.jedit.Plugin.version=9.0
 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
 
 #system parameters