Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. {* verbatim *} is explicit legacy feature;
  2. isabelle update_cartouches -t;
  3. tuned -- avoid conflict with cartouche argument;
  4. unused -- document lacks {* ... *};
Changeset 69506:7d59af98af29 by wenzelm:
{* verbatim *} is explicit legacy feature;
The file was modified NEWS (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 69505:cc2d676d5395 by wenzelm:
isabelle update_cartouches -t;
The file was modified src/Doc/Classes/Classes.thy (diff)
The file was modified src/Doc/Codegen/Adaptation.thy (diff)
The file was modified src/Doc/Codegen/Computations.thy (diff)
The file was modified src/Doc/Codegen/Evaluation.thy (diff)
The file was modified src/Doc/Codegen/Foundations.thy (diff)
The file was modified src/Doc/Codegen/Further.thy (diff)
The file was modified src/Doc/Codegen/Inductive_Predicate.thy (diff)
The file was modified src/Doc/Codegen/Introduction.thy (diff)
The file was modified src/Doc/Codegen/Refinement.thy (diff)
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/Doc/Datatypes/Datatypes.thy (diff)
The file was modified src/Doc/Functions/Functions.thy (diff)
The file was modified src/Doc/How_to_Prove_it/How_to_Prove_it.thy (diff)
The file was modified src/Doc/Locales/Examples.thy (diff)
The file was modified src/Doc/Locales/Examples1.thy (diff)
The file was modified src/Doc/Locales/Examples2.thy (diff)
The file was modified src/Doc/Locales/Examples3.thy (diff)
The file was modified src/Doc/Logics_ZF/FOL_examples.thy (diff)
The file was modified src/Doc/Logics_ZF/IFOL_examples.thy (diff)
The file was modified src/Doc/Logics_ZF/If.thy (diff)
The file was modified src/Doc/Logics_ZF/ZF_Isar.thy (diff)
The file was modified src/Doc/Logics_ZF/ZF_examples.thy (diff)
The file was modified src/Doc/Prog_Prove/Basics.thy (diff)
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/Logic.thy (diff)
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy (diff)
The file was modified src/Doc/Sugar/Sugar.thy (diff)
The file was modified src/Doc/Tutorial/Advanced/Partial.thy (diff)
The file was modified src/Doc/Tutorial/Advanced/WFrec.thy (diff)
The file was modified src/Doc/Tutorial/Advanced/simp2.thy (diff)
The file was modified src/Doc/Tutorial/CTL/Base.thy (diff)
The file was modified src/Doc/Tutorial/CTL/CTL.thy (diff)
The file was modified src/Doc/Tutorial/CTL/CTLind.thy (diff)
The file was modified src/Doc/Tutorial/CTL/PDL.thy (diff)
The file was modified src/Doc/Tutorial/CodeGen/CodeGen.thy (diff)
The file was modified src/Doc/Tutorial/Datatype/ABexpr.thy (diff)
The file was modified src/Doc/Tutorial/Datatype/Fundata.thy (diff)
The file was modified src/Doc/Tutorial/Datatype/Nested.thy (diff)
The file was modified src/Doc/Tutorial/Documents/Documents.thy (diff)
The file was modified src/Doc/Tutorial/Fun/fun0.thy (diff)
The file was modified src/Doc/Tutorial/Ifexpr/Ifexpr.thy (diff)
The file was modified src/Doc/Tutorial/Inductive/AB.thy (diff)
The file was modified src/Doc/Tutorial/Inductive/Advanced.thy (diff)
The file was modified src/Doc/Tutorial/Inductive/Even.thy (diff)
The file was modified src/Doc/Tutorial/Inductive/Mutual.thy (diff)
The file was modified src/Doc/Tutorial/Inductive/Star.thy (diff)
The file was modified src/Doc/Tutorial/Misc/AdvancedInd.thy (diff)
The file was modified src/Doc/Tutorial/Misc/Itrev.thy (diff)
The file was modified src/Doc/Tutorial/Misc/Option2.thy (diff)
The file was modified src/Doc/Tutorial/Misc/Tree2.thy (diff)
The file was modified src/Doc/Tutorial/Misc/case_exprs.thy (diff)
The file was modified src/Doc/Tutorial/Misc/natsum.thy (diff)
The file was modified src/Doc/Tutorial/Misc/pairs2.thy (diff)
The file was modified src/Doc/Tutorial/Misc/prime_def.thy (diff)
The file was modified src/Doc/Tutorial/Misc/simp.thy (diff)
The file was modified src/Doc/Tutorial/Misc/types.thy (diff)
The file was modified src/Doc/Tutorial/Protocol/Event.thy (diff)
The file was modified src/Doc/Tutorial/Protocol/Message.thy (diff)
The file was modified src/Doc/Tutorial/Protocol/NS_Public.thy (diff)
The file was modified src/Doc/Tutorial/Protocol/Public.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/Induction.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/Nested1.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/Nested2.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/examples.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/simplification.thy (diff)
The file was modified src/Doc/Tutorial/Recdef/termination.thy (diff)
The file was modified src/Doc/Tutorial/Rules/find2.thy (diff)
The file was modified src/Doc/Tutorial/ToyList/ToyList.thy (diff)
The file was modified src/Doc/Tutorial/Trie/Trie.thy (diff)
The file was modified src/Doc/Tutorial/Types/Axioms.thy (diff)
The file was modified src/Doc/Tutorial/Types/Overloading.thy (diff)
The file was modified src/Doc/Tutorial/Types/Pairs.thy (diff)
The file was modified src/Doc/Tutorial/Types/Records.thy (diff)
The file was modified src/Doc/Tutorial/Types/Typedefs.thy (diff)
The file was modified src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy (diff)
The file was modified src/HOL/Data_Structures/AA_Set.thy (diff)
The file was modified src/HOL/Data_Structures/AList_Upd_Del.thy (diff)
The file was modified src/HOL/Data_Structures/Sorted_Less.thy (diff)
The file was modified src/HOL/IMP/AExp.thy (diff)
The file was modified src/HOL/IMP/Abs_Int0.thy (diff)
The file was modified src/HOL/IMP/Abs_Int1.thy (diff)
The file was modified src/HOL/IMP/Abs_Int1_parity.thy (diff)
The file was modified src/HOL/IMP/Abs_Int2_ivl.thy (diff)
The file was modified src/HOL/IMP/Abs_Int3.thy (diff)
The file was modified src/HOL/IMP/Big_Step.thy (diff)
The file was modified src/HOL/IMP/Compiler.thy (diff)
The file was modified src/HOL/IMP/Compiler2.thy (diff)
The file was modified src/HOL/IMP/Hoare_Examples.thy (diff)
The file was modified src/HOL/IMP/Hoare_Total.thy (diff)
The file was modified src/HOL/IMP/Hoare_Total_EX.thy (diff)
The file was modified src/HOL/IMP/Hoare_Total_EX2.thy (diff)
The file was modified src/HOL/IMP/Live_True.thy (diff)
The file was modified src/HOL/IMP/Sec_Type_Expr.thy (diff)
The file was modified src/HOL/IMP/Small_Step.thy (diff)
The file was modified src/HOL/IMP/Vars.thy (diff)
Changeset 69504:bda7527ccf05 by wenzelm:
tuned -- avoid conflict with cartouche argument;
The file was modified src/Doc/Classes/Classes.thy (diff)
Changeset 69503:c2a736883b01 by wenzelm:
unused -- document lacks {* ... *};
The file was modified src/Doc/Corec/document/root.tex (diff)
The file was modified src/Doc/Datatypes/document/root.tex (diff)