Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://isabelle.sketis.net/repos/isabelle/ default)

Summary

  1. tuned;
  2. tuned;
  3. tuned;
  4. proper platform_path for Windows;
  5. evaluate PolyML via running Isabelle/ML;
  6. output via file instead of stdout;
  7. proper context;
  8. clarified signature;
  9. tuned signature;
Changeset 72291:ccc104786829 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML
Changeset 72290:811d5eec65a6 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML
Changeset 72289:32d5e474633a by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML
Changeset 72288:03628da91b07 by wenzelm:
proper platform_path for Windows;
The file was modified src/HOL/Library/code_test.ML
The file was modified src/Pure/ML/ml_syntax.ML
Changeset 72287:697e5688f370 by wenzelm:
evaluate PolyML via running Isabelle/ML;
The file was modified src/HOL/Library/code_test.ML
Changeset 72286:e4a317d00489 by wenzelm:
output via file instead of stdout;
The file was modified src/HOL/Library/code_test.ML
Changeset 72285:989bd067ae30 by wenzelm:
proper context;
The file was modified src/HOL/Library/code_test.ML
Changeset 72284:38497ecb4892 by wenzelm:
clarified signature;
The file was modified src/HOL/Library/code_test.ML
Changeset 72283:c0d04c740b8a by wenzelm:
tuned signature;
The file was modified src/HOL/Library/code_test.ML