Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. more scalable generated files and code export, using Bytes.T;
  3. more operations;
  4. proper execution of Bytes.write; tuned;
Changeset 75605:2a40ca7454bc by wenzelm:
merged
Changeset 75604:39df30349778 by wenzelm:
more scalable generated files and code export, using Bytes.T;
The file was modified src/HOL/Library/code_test.ML
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML
The file was modified src/Pure/General/file.ML
The file was modified src/Pure/Thy/export.ML
The file was modified src/Pure/Tools/generated_files.ML
The file was modified src/Tools/Code/code_printer.ML
The file was modified src/Tools/Code/code_runtime.ML
The file was modified src/Tools/Code/code_target.ML
Changeset 75603:fc8d64a578e4 by wenzelm:
more operations;
The file was modified src/Pure/General/bytes.ML
Changeset 75602:7a0d4c126f79 by wenzelm:
proper execution of Bytes.write;<br>tuned;
The file was modified src/Pure/General/bytes.ML