Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
  2. removed redundant lemma
  3. merged
  4. more simp lemmas
  5. tuned signature;
  6. tuned message;
  7. prefer explicit
  8. merged
  9. typo
Changeset 68991:6c1beb52d766 by wenzelm:
more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 68990:a319e3c522ba by nipkow:
removed redundant lemma
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)
Changeset 68989:d6d5fb521896 by nipkow:
merged
Changeset 68988:93546c85374a by nipkow:
more simp lemmas
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 68987:e86d6e869b96 by wenzelm:
tuned signature;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 68986:22f02724e7d1 by wenzelm:
tuned message;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68985:5d35fd21a0b9 by nipkow:
prefer explicit
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)
Changeset 68984:b1d106c1edac by nipkow:
merged
Changeset 68983:caedabd2771c by nipkow:
typo
The file was modified src/HOL/Library/Multiset.thy (diff)