2010-08-20 wenzelm [Fri, 20 Aug 2010 11:47:33 +0200] rev 38566
Branches.overlapping: proper treatment of stop_range that overlaps with end;
Markup_Tree.select: allow singularity in parent range specification;
src/Pure/PIDE/markup_tree.scala

2010-08-20 wenzelm [Fri, 20 Aug 2010 11:00:15 +0200] rev 38565
further clarification/unification of Position.Range and Text.Range concerning singularities: start offset is always included;
src/Pure/General/position.scala src/Pure/PIDE/text.scala

2010-08-19 wenzelm [Thu, 19 Aug 2010 22:52:00 +0200] rev 38564
parameterized type Markup_Tree.Node;
Markup_Tree.select: allow arbitrary interpretations, not just filtering;
renamed Text.Range.intersect to Text.Range.restrict -- emphasize that it is not directly related to contains/overlaps;
src/Pure/PIDE/command.scala src/Pure/PIDE/markup_tree.scala src/Pure/PIDE/text.scala src/Tools/jEdit/src/jedit/isabelle_sidekick.scala

2010-08-19 wenzelm [Thu, 19 Aug 2010 22:26:15 +0200] rev 38563
added toString methods;
src/Pure/PIDE/markup_tree.scala src/Pure/PIDE/text.scala

2010-08-19 wenzelm [Thu, 19 Aug 2010 22:04:20 +0200] rev 38562
misc tuning and simplification;
src/Pure/PIDE/markup_tree.scala src/Pure/PIDE/text.scala

2010-08-19 wenzelm [Thu, 19 Aug 2010 18:44:26 +0200] rev 38561
updated some isatest settings;
Admin/isatest/isatest-stats Admin/isatest/settings/at-mac-poly-5.1-para Admin/isatest/settings/at-poly-5.1-para-e Admin/isatest/settings/at-poly-dev-e

2010-08-19 wenzelm [Thu, 19 Aug 2010 18:19:21 +0200] rev 38560
added generated file;
doc-src/Codegen/Thy/document/Evaluation.tex

2010-08-19 wenzelm [Thu, 19 Aug 2010 17:41:52 +0200] rev 38559
merged
NEWS lib/scripts/run-polyml-5.0 src/Pure/ML-Systems/compiler_polyml-5.0.ML src/Pure/ML-Systems/polyml-5.0.ML src/Pure/ML-Systems/polyml-5.1.ML src/Pure/PIDE/markup_node.scala src/Pure/System/isar_document.ML src/Pure/System/isar_document.scala

2010-08-19 haftmann [Thu, 19 Aug 2010 16:08:59 +0200] rev 38558
tuned quotes
src/HOL/Decision_Procs/Approximation.thy src/HOL/Decision_Procs/Cooper.thy src/HOL/Decision_Procs/Ferrack.thy src/HOL/Decision_Procs/MIR.thy src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy src/HOL/Decision_Procs/cooper_tac.ML src/HOL/Decision_Procs/ferrack_tac.ML src/HOL/Decision_Procs/ferrante_rackoff.ML src/HOL/Decision_Procs/langford.ML src/HOL/Decision_Procs/mir_tac.ML src/HOL/Import/shuffler.ML src/HOL/Library/Eval_Witness.thy src/HOL/Library/positivstellensatz.ML src/HOL/Nominal/nominal_datatype.ML src/HOL/Nominal/nominal_inductive.ML src/HOL/Nominal/nominal_inductive2.ML src/HOL/Nominal/nominal_thmdecls.ML src/HOL/Statespace/distinct_tree_prover.ML src/HOL/Statespace/state_fun.ML src/HOL/Statespace/state_space.ML src/HOL/Tools/Function/function_core.ML src/HOL/Tools/Predicate_Compile/code_prolog.ML src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML src/HOL/Tools/Predicate_Compile/predicate_compile_data.ML src/HOL/Tools/Predicate_Compile/predicate_compile_pred.ML src/HOL/Tools/Qelim/cooper.ML src/HOL/Tools/Quotient/quotient_term.ML src/HOL/Tools/choice_specification.ML src/HOL/Tools/cnf_funcs.ML src/HOL/Tools/groebner.ML src/HOL/Tools/lin_arith.ML src/HOL/Tools/prop_logic.ML src/HOL/Tools/sat_funcs.ML src/HOL/Tools/simpdata.ML src/HOL/ex/SVC_Oracle.thy src/HOL/ex/svc_funcs.ML

2010-08-19 haftmann [Thu, 19 Aug 2010 16:08:54 +0200] rev 38557
more antiquotations
src/HOL/Import/proof_kernel.ML src/HOL/Prolog/prolog.ML src/HOL/Tools/Function/termination.ML src/HOL/Tools/meson.ML src/HOLCF/Tools/Domain/domain_library.ML