Min version RC0

isabelle-prover · Oct 28, 2021 · 4863e8d · 4863e8d
1 parent f6fdc89
commit 4863e8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jedit_linter/jedit_linter_plugin/plugin.props b/jedit_linter/jedit_linter_plugin/plugin.props
@@ -13,7 +13,7 @@ plugin.isabelle.jedit_linter_plugin.Plugin.activate=startup
 plugin.isabelle.jedit_linter_plugin.Plugin.usePluginHome=false
 
 #dependencies
-plugin.isabelle.jedit_linter_plugin.Plugin.depend.0=plugin isabelle.jedit_main.Plugin 11.3
+plugin.isabelle.jedit_linter_plugin.Plugin.depend.0=plugin isabelle.jedit_main.Plugin 11.2
 
 #menu actions and dockables
 plugin.isabelle.jedit_linter_plugin.Plugin.menu.label=Isabelle Linter