Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. clarified signature;
  3. proper ml_source: avoid duplicate Bash.string;
  4. misc tuning and clarification: prefer functions over data;
  5. tuned;
  6. misc tuning and clarification;
  7. tuned messages;
  8. tuned;
Changeset 72279:ae89eac1d332 by wenzelm:
merged
Changeset 72278:199dc903131b by wenzelm:
clarified signature;
The file was modified src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
The file was modified src/HOL/Library/code_test.ML
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_ghc.ML
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML
The file was modified src/HOL/Tools/SMT/smt_solver.ML
The file was modified src/Pure/General/file.ML
The file was modified src/Pure/Tools/ghc.ML
Changeset 72277:48254fa33d88 by wenzelm:
proper ml_source: avoid duplicate Bash.string;
The file was modified src/HOL/Library/code_test.ML
Changeset 72276:dfe150a246e6 by wenzelm:
misc tuning and clarification: prefer functions over data;
The file was modified src/HOL/Library/code_test.ML
Changeset 72275:f7189b7f5567 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML
Changeset 72274:a1098a183f4a by wenzelm:
misc tuning and clarification;
The file was modified src/HOL/Library/code_test.ML
Changeset 72273:b8f32e830e95 by wenzelm:
tuned messages;
The file was modified src/HOL/Library/code_test.ML
Changeset 72272:6931ab4f1a47 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML