# HG changeset patch
# User wenzelm
# Date 1609078537 -3600
# Node ID d4b67dc6f4ebd5f0fbd4ed1cccd0cc32c344d122
# Parent  238ddf525da459f11558c5ce278c0ba67ea31972
updated for release;

diff -r 238ddf525da4 -r d4b67dc6f4eb src/Tools/jEdit/src/Isabelle.props
--- a/src/Tools/jEdit/src/Isabelle.props	Sun Dec 27 15:11:06 2020 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Sun Dec 27 15:15:37 2020 +0100
@@ -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=11.1
+plugin.isabelle.jedit.Plugin.version=11.2
 plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
 
 #system parameters