2012-03-04 blanchet [Sun, 04 Mar 2012 23:20:43 +0100] rev 46818
ensure no abstractions leak through after lambda-lifting (for formulas with higher-order occurrences of quantifiers)
src/HOL/Tools/ATP/atp_problem_generate.ML src/HOL/Tools/Meson/meson.ML

2012-03-04 wenzelm [Sun, 04 Mar 2012 23:04:40 +0100] rev 46817
updates for jedit-4.5.0 (still inactive);
src/Tools/jEdit/patches/jedit-4.5.0/extended_styles src/Tools/jEdit/src/text_area_painter.scala

2012-03-04 wenzelm [Sun, 04 Mar 2012 21:46:22 +0100] rev 46816
more explicit patches;
src/Tools/jEdit/patches/cobra src/Tools/jEdit/patches/cobra-0.98.4/create_font src/Tools/jEdit/patches/extended_styles src/Tools/jEdit/patches/jedit-4.4.1/extended_styles src/Tools/jEdit/patches/jedit-4.4.1/render_context src/Tools/jEdit/patches/render_context

2012-03-04 wenzelm [Sun, 04 Mar 2012 19:24:05 +0100] rev 46815
tuned comment;
src/Tools/jEdit/src/document_view.scala

2012-03-04 wenzelm [Sun, 04 Mar 2012 19:16:09 +0100] rev 46814
removed obsolete proper_command_at (cf. 03a2dc9e0624);
src/Pure/PIDE/document.scala src/Tools/jEdit/src/document_view.scala

2012-03-04 wenzelm [Sun, 04 Mar 2012 19:03:28 +0100] rev 46813
added Command.proper_range (still unused);
src/Pure/PIDE/command.scala

2012-03-04 wenzelm [Sun, 04 Mar 2012 18:15:45 +0100] rev 46812
clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
src/Pure/PIDE/protocol.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/text_area_painter.scala

2012-03-04 wenzelm [Sun, 04 Mar 2012 16:02:14 +0100] rev 46811
clarified command span: include trailing whitespace/comments and thus reduce number of ignored spans with associated transactions and states (factor 2);
simplified signatures;
src/Pure/Isar/token.ML src/Pure/ProofGeneral/pgip_parser.ML src/Pure/Thy/latex.ML src/Pure/Thy/thy_load.ML src/Pure/Thy/thy_output.ML src/Pure/Thy/thy_syntax.ML src/Pure/Thy/thy_syntax.scala

2012-03-04 haftmann [Sun, 04 Mar 2012 11:03:10 +0100] rev 46810
tuned
src/HOL/Tools/enriched_type.ML

2012-03-04 haftmann [Sun, 04 Mar 2012 10:34:44 +0100] rev 46809
move test targets to test target
src/HOL/IsaMakefile