# HG changeset patch
# User wenzelm
# Date 1261595822 -3600
# Node ID 74ea350c9b2f4ce08d394f3b63700f35fa5d22b7
# Parent  006331f2b1283671f8f02638fc870f8cf668b36a
back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;

diff -r 006331f2b128 -r 74ea350c9b2f src/Tools/jEdit/plugin/Isabelle.props
--- a/src/Tools/jEdit/plugin/Isabelle.props	Tue Dec 22 19:39:17 2009 +0100
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Wed Dec 23 20:17:02 2009 +0100
@@ -9,7 +9,7 @@
 plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof processing
 
 #system parameters
-plugin.isabelle.jedit.Plugin.activate=defer
+plugin.isabelle.jedit.Plugin.activate=startup
 plugin.isabelle.jedit.Plugin.usePluginHome=false
 
 #dependencies