Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged;
  2. updated to jedit_build-20190717: support more brackets;
  3. updated to isabelle_fonts-20190717;
  4. redundant;
  5. tuned;
  6. added \<llangle>, \<rrangle>; discontinued special rendering for old {* *};
  7. tuned doc isar-ref;
  8. added \<bbar>;
  9. added \<sqdot>;
  10. fixed renaming issues
  11. merged
  12. a few new lemmas and a bit of tidying
Changeset 70376:af25255bda02 by wenzelm:
merged;
Changeset 70375:2e8af171887f by wenzelm:
updated to jedit_build-20190717: support more brackets;
The file was addedsrc/Tools/jEdit/patches/brackets
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 70374:2b4c40722f0b by wenzelm:
updated to isabelle_fonts-20190717;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/isabelle_fonts/README (diff)
Changeset 70373:2d337a2a561a by wenzelm:
redundant;
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 70372:b5da5172d4e3 by wenzelm:
tuned;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 70371:3f9d03571eaa by wenzelm:
added \&lt;llangle&gt;, \&lt;rrangle&gt;;<br>discontinued special rendering for old {* *};
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabelle.sty (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 70370:ab40ff2fdc67 by wenzelm:
tuned doc isar-ref;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 70369:6c65447b8a64 by wenzelm:
added \&lt;bbar&gt;;
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 70368:b67737bc5bd1 by wenzelm:
added \&lt;sqdot&gt;;
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 70367:81b65ddac59f by paulson _lp15@cam.ac.uk_:
fixed renaming issues
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 70366:89830f937e68 by paulson:
merged
Changeset 70365:4df0628e8545 by paulson _lp15@cam.ac.uk_:
a few new lemmas and a bit of tidying
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Topology.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/Finite_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Improper_Integral.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Analysis/Interval_Integral.thy (diff)
The file was modified src/HOL/Analysis/Riemann_Mapping.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Library/Discrete.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Library/Landau_Symbols.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Power.thy (diff)
The file was modified src/HOL/Probability/Characteristic_Functions.thy (diff)
The file was modified src/HOL/Probability/Distributions.thy (diff)
The file was modified src/HOL/Probability/Sinc_Integral.thy (diff)
The file was modified src/HOL/Probability/Weak_Convergence.thy (diff)
The file was modified src/HOL/Real_Asymp/Multiseries_Expansion.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)