Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs and generalized some lemmas about limits
  2. tuned some proofs
  3. tuned some proofs about filters
  4. clarified handling of stdout vs. stderr: the cronjob should normally be silent;
  5. proper self_update of components -- do assume shared file-system;
Changeset 67958:732c0b059463 by huffman:
tuned proofs and generalized some lemmas about limits
The file was modified src/HOL/Limits.thy (diff)
Changeset 67957:55f00429da84 by huffman:
tuned some proofs
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67956:79dbb9dccc99 by huffman:
tuned some proofs about filters
The file was modified src/HOL/Filter.thy (diff)
Changeset 67955:f69ea1a88c1a by wenzelm:
clarified handling of stdout vs. stderr: the cronjob should normally be silent;
The file was modified Admin/cronjob/self_update (diff)
Changeset 67954:b731a8d37131 by wenzelm:
proper self_update of components -- do assume shared file-system;
The file was modified Admin/cronjob/self_update (diff)