Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. HOL-Analysis: Convergent FPS and infinite sums
  2. proper argument type (amending 8d5cb4ea2b7c);
  3. tuned;
  4. updated for release;
  5. tuned;
  6. misc updates for release;
  7. tuned;
  8. tuned;
  9. misc tuning and updates for release;
  10. updated to sqlite-jdbc-3.20.0;
  11. updated to postgresql-42.1.4;
  12. avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
  13. added missing file (cf. 9098c36abd1a);
Changeset 66480:4b8d1df8933b by manuel eberl _eberlm@in.tum.de_:
HOL-Analysis: Convergent FPS and infinite sums
The file was addedsrc/HOL/Analysis/FPS_Convergence.thy
The file was addedsrc/HOL/Analysis/Infinite_Set_Sum.thy
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial_FPS.thy (diff)
Changeset 66479:5c0a3f63057d by wenzelm:
proper argument type (amending 8d5cb4ea2b7c);
The file was modified src/Pure/General/http.scala (diff)
Changeset 66478:439296f00ab5 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 66477:7dccaa6d419a by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 66476:c9628d79109b by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src-base/Isabelle_Base.props (diff)
Changeset 66475:d8e0fd64216f by wenzelm:
misc updates for release;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
Changeset 66474:3ff851a8cb4b by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 66473:5928c6cc780f by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 66472:1b7d66d62035 by wenzelm:
misc tuning and updates for release;
The file was modified NEWS (diff)
Changeset 66471:80736667cc2e by wenzelm:
updated to sqlite-jdbc-3.20.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66470:33aa9abd71cb by wenzelm:
updated to postgresql-42.1.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66469:a6ec0172211a by wenzelm:
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 66468:075c2aadd0b8 by wenzelm:
added missing file (cf. 9098c36abd1a);
The file was addedsrc/Tools/jEdit/src-base/Isabelle_Base.props