6 weeks ago wenzelm [Wed, 06 Dec 2017 21:01:01 +0100] rev 67150
merged

6 weeks ago wenzelm [Wed, 06 Dec 2017 20:43:09 +0100] rev 67149
prefer control symbol antiquotations;
src/HOL/Deriv.thy src/HOL/HOL.thy src/HOL/Tools/Argo/argo_real.ML src/HOL/Tools/Argo/argo_tactic.ML src/HOL/Tools/Function/fun.ML src/HOL/Tools/Function/fun_cases.ML src/HOL/Tools/Function/function.ML src/HOL/Tools/Function/function_common.ML src/HOL/Tools/Function/function_core.ML src/HOL/Tools/Function/function_elims.ML src/HOL/Tools/Function/function_lib.ML src/HOL/Tools/Function/induction_schema.ML src/HOL/Tools/Function/lexicographic_order.ML src/HOL/Tools/Function/measure_functions.ML src/HOL/Tools/Function/mutual.ML src/HOL/Tools/Function/partial_function.ML src/HOL/Tools/Function/sum_tree.ML src/HOL/Tools/Function/termination.ML src/HOL/Tools/Meson/meson.ML src/HOL/Tools/Meson/meson_clausify.ML src/HOL/Tools/Meson/meson_tactic.ML src/HOL/Tools/Quickcheck/abstract_generators.ML src/HOL/Tools/Quickcheck/exhaustive_generators.ML src/HOL/Tools/Quickcheck/find_unused_assms.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/Quickcheck/quickcheck_common.ML src/HOL/Tools/Quickcheck/random_generators.ML src/HOL/Tools/SMT/conj_disj_perm.ML src/HOL/Tools/SMT/smt_builtin.ML src/HOL/Tools/SMT/smt_config.ML src/HOL/Tools/SMT/smt_datatypes.ML src/HOL/Tools/SMT/smt_normalize.ML src/HOL/Tools/SMT/smt_translate.ML src/HOL/Tools/arith_data.ML src/HOL/Tools/boolean_algebra_cancel.ML src/HOL/Tools/choice_specification.ML src/HOL/Tools/cnf.ML src/HOL/Tools/code_evaluation.ML src/HOL/Tools/coinduction.ML src/HOL/Tools/functor.ML src/HOL/Tools/groebner.ML src/HOL/Tools/group_cancel.ML src/HOL/Tools/hologic.ML src/HOL/Tools/inductive.ML src/HOL/Tools/inductive_realizer.ML src/HOL/Tools/inductive_set.ML src/HOL/Tools/int_arith.ML src/HOL/Tools/lin_arith.ML src/HOL/Tools/monomorph.ML src/HOL/Tools/nat_arith.ML ...

6 weeks ago wenzelm [Wed, 06 Dec 2017 19:34:59 +0100] rev 67148
more robust, e.g. when Sidekick produces multi-selection;
src/Tools/jEdit/src/isabelle.scala

6 weeks ago wenzelm [Wed, 06 Dec 2017 18:59:33 +0100] rev 67147
prefer control symbol antiquotations;
src/Pure/Isar/attrib.ML src/Pure/Isar/calculation.ML src/Pure/Isar/class.ML src/Pure/Isar/code.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/isar_cmd.ML src/Pure/Isar/locale.ML src/Pure/Isar/method.ML src/Pure/Isar/overloading.ML src/Pure/ML/ml_antiquotations.ML src/Pure/ML/ml_thms.ML src/Pure/ML_Bootstrap.thy src/Pure/PIDE/resources.ML src/Pure/Proof/extraction.ML src/Pure/Pure.thy src/Pure/Thy/document_antiquotations.ML src/Pure/Thy/term_style.ML src/Pure/Thy/thy_output.ML src/Pure/Tools/bibtex.ML src/Pure/Tools/find_theorems.ML src/Pure/Tools/jedit.ML src/Pure/Tools/named_theorems.ML src/Pure/Tools/plugin.ML src/Pure/Tools/rail.ML src/Pure/Tools/rule_insts.ML src/Pure/Tools/simplifier_trace.ML src/Pure/simplifier.ML

6 weeks ago wenzelm [Wed, 06 Dec 2017 15:46:35 +0100] rev 67146
more embedded cartouche arguments;
more uniform LaTeX output for control symbols;
lib/texinputs/isabelle.sty lib/texinputs/isabellesym.sty src/Doc/Implementation/Logic.thy src/Doc/Implementation/ML.thy src/Doc/Implementation/Prelim.thy src/Doc/Isar_Ref/Inner_Syntax.thy src/Doc/Isar_Ref/document/showsymbols src/Pure/ML/ml_antiquotation.ML src/Pure/ML/ml_antiquotations.ML src/Pure/Tools/named_theorems.ML src/Pure/Tools/plugin.ML src/Pure/simplifier.ML

6 weeks ago wenzelm [Wed, 06 Dec 2017 14:19:36 +0100] rev 67145
name mangling for Latex macros;
tuned signature;
NEWS src/Pure/Thy/latex.ML

6 weeks ago nipkow [Wed, 06 Dec 2017 16:01:15 +0100] rev 67144
removed (un)important tags again to make latex happy
src/HOL/Analysis/L2_Norm.thy

6 weeks ago nipkow [Wed, 06 Dec 2017 15:17:05 +0100] rev 67143
initial version of Analysis document
src/Doc/ROOT src/HOL/Analysis/L2_Norm.thy src/HOL/Analysis/document/root.tex

6 weeks ago nipkow [Wed, 06 Dec 2017 09:11:27 +0100] rev 67142
tuned
src/HOL/Word/Bit_Representation.thy

6 weeks ago wenzelm [Tue, 05 Dec 2017 16:54:37 +0100] rev 67141
merged