2014-05-11 wenzelm [Sun, 11 May 2014 20:23:08 +0200] rev 56936
more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion;
prefer JDialog for FloatingWindowContainer, to keep it in front of the main window;
updated to Navigator.jar 2.5, SideKick.jar 1.6;
Admin/components/components.sha1 Admin/components/main src/Tools/jEdit/patches/docking src/Tools/jEdit/src/pide_docking_framework.scala src/Tools/jEdit/src/services.xml

2014-05-09 wenzelm [Fri, 09 May 2014 23:00:18 +0200] rev 56935
updated keywords;
etc/isar-keywords.el

2014-05-09 wenzelm [Fri, 09 May 2014 22:56:06 +0200] rev 56934
merged

2014-05-09 wenzelm [Fri, 09 May 2014 22:14:06 +0200] rev 56933
more markup;
src/Pure/Isar/proof.ML

2014-05-09 wenzelm [Fri, 09 May 2014 22:04:50 +0200] rev 56932
more position markup to help locating the query context, e.g. from "Info" dockable;
src/HOL/Tools/Function/function.ML src/Pure/Isar/obtain.ML src/Pure/Isar/proof.ML src/Pure/Isar/proof_display.ML src/Pure/Isar/specification.ML

2014-05-09 wenzelm [Fri, 09 May 2014 21:03:44 +0200] rev 56931
always bounce focus back to main text area, unless explicit focus component is given here (see also 7b65f4da136d);
src/Tools/jEdit/src/dockable.scala src/Tools/jEdit/src/output_dockable.scala

2014-05-09 wenzelm [Fri, 09 May 2014 21:02:15 +0200] rev 56930
tuned signature;
src/Tools/jEdit/src/jedit_lib.scala src/Tools/jEdit/src/pretty_tooltip.scala

2014-05-09 haftmann [Fri, 09 May 2014 08:13:37 +0200] rev 56929
delete attribute for code abbrev
src/Doc/Isar_Ref/HOL_Specific.thy src/Tools/Code/code_preproc.ML

2014-05-09 haftmann [Fri, 09 May 2014 08:13:37 +0200] rev 56928
dropped term_of obfuscation -- not really required;
tuned theory structure
src/HOL/Code_Evaluation.thy

2014-05-09 haftmann [Fri, 09 May 2014 08:13:37 +0200] rev 56927
hardcoded nbe and sml into value command
NEWS src/Doc/Codegen/Evaluation.thy src/Doc/Isar_Ref/HOL_Specific.thy src/HOL/Code_Evaluation.thy src/HOL/IMP/Abs_Int1_parity.thy src/HOL/IMP/Abs_Int_Den/Abs_Int_den0_const.thy src/HOL/IMP/Abs_Int_Den/Abs_Int_den1_ivl.thy src/HOL/IMP/Abs_Int_Den/Abs_Int_den2.thy src/HOL/Library/Extended_Real.thy src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy src/HOL/Predicate_Compile_Examples/Reg_Exp_Example.thy src/HOL/Tools/value.ML src/HOL/ex/Eval_Examples.thy src/HOL/ex/Normalization_by_Evaluation.thy src/HOL/ex/Parallel_Example.thy