2011-04-03 wenzelm [Sun, 03 Apr 2011 21:59:33 +0200] rev 42204
added Position.reports convenience;
modernized Syntax.trrule constructors;
modernized Sign.add_trrules/del_trrules: internal arguments;
modernized Isar_Cmd.translations/no_translations: external arguments;
explicit syntax categories class_name/type_name, with reports via type_context;
eliminated former class_name/type_name ast translations;
tuned signatures;
src/HOL/HOLCF/Tools/Domain/domain_constructors.ML src/HOL/HOLCF/Tools/cont_consts.ML src/HOL/HOLCF/ex/Pattern_Match.thy src/Pure/General/position.ML src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML src/Pure/Isar/proof_context.ML src/Pure/Proof/proof_syntax.ML src/Pure/Syntax/syn_trans.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/type_ext.ML src/Pure/sign.ML

2011-04-03 wenzelm [Sun, 03 Apr 2011 18:17:21 +0200] rev 42203
show more tooltip/sub-expression markup;
src/Tools/jEdit/src/jedit/isabelle_markup.scala

2011-04-03 wenzelm [Sun, 03 Apr 2011 17:35:16 +0200] rev 42202
show tooltip/sub-expression for entity markup;
src/Pure/General/markup.scala src/Tools/jEdit/src/jedit/isabelle_markup.scala

2011-04-01 wenzelm [Fri, 01 Apr 2011 18:29:10 +0200] rev 42201
merged

2011-04-01 hoelzl [Fri, 01 Apr 2011 17:20:56 +0200] rev 42200
remove unnecessary prob_preserving
src/HOL/Probability/Probability_Measure.thy

2011-04-01 hoelzl [Fri, 01 Apr 2011 17:20:33 +0200] rev 42199
add prob_space_vimage
src/HOL/Probability/Probability_Measure.thy

2011-04-01 wenzelm [Fri, 01 Apr 2011 17:16:08 +0200] rev 42198
use Unsynchronized.change convenience, which also emphasizes the raw access to these references (which happen to be local here);
src/Tools/quickcheck.ML

2011-04-01 krauss [Fri, 01 Apr 2011 16:29:58 +0200] rev 42197
fixed accidental redefinition
Admin/mira.py

2011-04-01 boehmes [Fri, 01 Apr 2011 15:49:19 +0200] rev 42196
save reflexivity steps in discharging Z3 Skolemization hypotheses
src/HOL/Tools/SMT/z3_proof_reconstruction.ML

2011-04-01 bulwahn [Fri, 01 Apr 2011 13:49:38 +0200] rev 42195
adding an exhaustive validator for quickcheck's batch validating; moving strip_imp; minimal setup for bounded_forall
src/HOL/Quickcheck_Exhaustive.thy src/HOL/Tools/Quickcheck/exhaustive_generators.ML src/HOL/Tools/Quickcheck/quickcheck_common.ML src/HOL/Tools/Quickcheck/random_generators.ML