Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma
  2. prefer static library_call (again): avoid memory-leak within C code area;
  3. updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
  4. back to https://isabelle.sketis.net/components (more reliable);
  5. undid renaming accident
  6. renamed t_ functions to T_ (im Auftrag von T. Nipkow)
Changeset 72555:653ac845b466 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)
Changeset 72554:81518b38b316 by wenzelm:
prefer static library_call (again): avoid memory-leak within C code area;
The file was modified src/Pure/General/sha1.ML (diff)
Changeset 72553:4e9d22dcd595 by wenzelm:
updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72552:461b3942148d by wenzelm:
back to https://isabelle.sketis.net/components (more reliable);
The file was modified etc/settings (diff)
Changeset 72551:729d45c7ff33 by blanchet:
undid renaming accident
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
Changeset 72550:1d0ae7e578a0 by blanchet:
renamed t_ functions to T_ (im Auftrag von T. Nipkow)
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)