Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified session dependencies: faster build_doc/build_release;
  2. merged
  3. updated to modern symbols
  4. updated to stack-1.9.3; proper settings for Windows;
  5. more robust;
  6. tuned;
Changeset 69422:472af2d7835d by wenzelm:
clarified session dependencies: faster build_doc/build_release;
The file was modified src/Doc/Codegen/Adaptation.thy (diff)
The file was modified src/Doc/Codegen/Computations.thy (diff)
The file was modified src/Doc/Codegen/Evaluation.thy (diff)
The file was modified src/Doc/Codegen/Further.thy (diff)
The file was modified src/Doc/Codegen/Inductive_Predicate.thy (diff)
The file was modified src/Doc/Codegen/Introduction.thy (diff)
The file was modified src/Doc/Codegen/Refinement.thy (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/Typeclass_Hierarchy/Typeclass_Hierarchy.thy (diff)
Changeset 69421:71bf7903e7fe by paulson:
merged
Changeset 69420:85b0df070afe by paulson _lp15@cam.ac.uk_:
updated to modern symbols
The file was modified src/HOL/ex/Classical.thy (diff)
Changeset 69419:8985ee17bfd2 by wenzelm:
updated to stack-1.9.3;<br>proper settings for Windows;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/haskell/stack/README (diff)
Changeset 69418:86ba90f88747 by wenzelm:
more robust;
The file was modified src/Pure/System/components.scala (diff)
Changeset 69417:469724b2cb5d by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)