Mercurialisabelle / changelog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 tip
4 months ago nipkow [Thu, 07 Dec 2017 18:04:52 +0100] rev 67156
"important" annotations
src/HOL/Analysis/L2_Norm.thy

4 months ago nipkow [Thu, 07 Dec 2017 15:48:50 +0100] rev 67155
canonical name
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/L2_Norm.thy src/HOL/Analysis/Topology_Euclidean_Space.thy

4 months ago wenzelm [Thu, 07 Dec 2017 11:14:32 +0100] rev 67154
tuned output in isar-ref manual;
lib/texinputs/isabellesym.sty

4 months ago wenzelm [Thu, 07 Dec 2017 11:12:55 +0100] rev 67153
obsolete (used to be part of old src/Pure/codegen.ML);
lib/texinputs/isabellesym.sty

4 months ago wenzelm [Wed, 06 Dec 2017 21:43:20 +0100] rev 67152
just one session for bulky HOL-Analysis documents;
src/Doc/ROOT src/HOL/ROOT

4 months ago wenzelm [Wed, 06 Dec 2017 21:30:26 +0100] rev 67151
more default tags;
lib/texinputs/isabelle.sty src/Doc/System/Presentation.thy

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

4 months 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 ...

4 months 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

4 months 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

(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 +10 +30 +100 +300 tip
isabelle