Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tagged
  2. evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
  3. prefer HTTPS;
  4. more ANNOUNCE;
  5. tuned;
  6. more de-applying
Changeset 68651:16d98ef49a2c by manuel eberl _eberlm@in.tum.de_:
tagged
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Set_Sum.thy (diff)
The file was modified src/HOL/Analysis/Jordan_Curve.thy (diff)
Changeset 68650:7538b5f301ea by wenzelm:
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
The file was modified Admin/cronjob/self_update (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 68649:f849fc1cb65e by wenzelm:
prefer HTTPS;
The file was modified Admin/components/README (diff)
The file was modified README (diff)
The file was modified src/Doc/How_to_Prove_it/document/root.bib (diff)
The file was modified src/Doc/Locales/document/root.bib (diff)
The file was modified src/Doc/Logics/document/preface.tex (diff)
The file was modified src/Doc/Prog_Prove/document/intro-isabelle.tex (diff)
The file was modified src/Doc/Prog_Prove/document/root.bib (diff)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/Doc/Sugar/document/root.bib (diff)
The file was modified src/Doc/Tutorial/document/basics.tex (diff)
The file was modified src/Doc/Tutorial/document/fp.tex (diff)
The file was modified src/Doc/Tutorial/document/preface.tex (diff)
The file was modified src/Doc/manual.bib (diff)
The file was modified src/HOL/Lattice/document/root.bib (diff)
The file was modified src/HOL/MicroJava/document/introduction.tex (diff)
The file was modified src/HOL/MicroJava/document/root.bib (diff)
The file was modified src/HOL/NanoJava/document/root.bib (diff)
The file was modified src/HOL/NanoJava/document/root.tex (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Unix/document/root.bib (diff)
Changeset 68648:371e814af6f0 by wenzelm:
more ANNOUNCE;
The file was modified ANNOUNCE (diff)
Changeset 68647:f0d98441eff5 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 68646:7dc9fe795dae by paulson _lp15@cam.ac.uk_:
more de-applying
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/MicroJava/DFA/Listn.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)