--- a/Admin/components/components.sha1 Fri Jan 04 20:39:41 2013 +0100
+++ b/Admin/components/components.sha1 Fri Jan 04 20:42:09 2013 +0100
@@ -18,6 +18,7 @@
7b012f725ec1cc102dc259df178d511cc7890bba jedit_build-20120813.tar.gz
8e1d36f5071e3def2cb281f7fefe9f52352cb88f jedit_build-20120903.tar.gz
8fa0c67f59beba369ab836562eed4e56382f672a jedit_build-20121201.tar.gz
+06e9be2627ebb95c45a9bcfa025d2eeef086b408 jedit_build-20130104.tar.gz
8122526f1fc362ddae1a328bdbc2152853186fee jfreechart-1.0.14.tar.gz
6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
--- a/Admin/components/main Fri Jan 04 20:39:41 2013 +0100
+++ b/Admin/components/main Fri Jan 04 20:42:09 2013 +0100
@@ -3,7 +3,7 @@
e-1.6
exec_process-1.0.3
jdk-7u9
-jedit_build-20121201
+jedit_build-20130104
jfreechart-1.0.14
kodkodi-1.5.2
polyml-5.5.0
--- a/src/Tools/jEdit/src/Isabelle.props Fri Jan 04 20:39:41 2013 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props Fri Jan 04 20:42:09 2013 +0100
@@ -16,8 +16,9 @@
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
plugin.isabelle.jedit.Plugin.depend.1=jedit 05.00.00.00
plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.0
-plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.0
+plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.1
plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.4
+plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.highlight.HighlightPlugin 1.9.10
#options
plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
--- a/src/Tools/jEdit/src/jEdit.props Fri Jan 04 20:39:41 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Fri Jan 04 20:42:09 2013 +0100
@@ -205,7 +205,7 @@
line-end.shortcut=END
line-home.shortcut=HOME
lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
-plugin.MacOSXPlugin.altDispatcher=true
+plugin.MacOSXPlugin.altDispatcher=false
plugin.MacOSXPlugin.disableOption=true
print.font=IsabelleText
restore.remote=false