Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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;
  10. tuned
  11. more thorough treatment of division, particularly signed division on int and word
  12. canonical enum instance for word
Changeset 72291:ccc104786829 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72290:811d5eec65a6 by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72289:32d5e474633a by wenzelm:
tuned;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72288:03628da91b07 by wenzelm:
proper platform_path for Windows;
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Pure/ML/ml_syntax.ML (diff)
Changeset 72287:697e5688f370 by wenzelm:
evaluate PolyML via running Isabelle/ML;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72286:e4a317d00489 by wenzelm:
output via file instead of stdout;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72285:989bd067ae30 by wenzelm:
proper context;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72284:38497ecb4892 by wenzelm:
clarified signature;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72283:c0d04c740b8a by wenzelm:
tuned signature;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 72282:415220b59d37 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 72281:beeadb35e357 by haftmann:
more thorough treatment of division, particularly signed division on int and word
The file was addedsrc/HOL/Library/Signed_Division.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/Type_Length.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 72280:db43ee05066d by haftmann:
canonical enum instance for word
The file was modified src/HOL/Word/Word.thy (diff)