Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust treatment of generated strings;
  2. proper File.platform_path for scala on Windows;
  3. removed junk;
  4. proper File.platform_path for poly on Windows;
Changeset 65901:e896db33d4ce by wenzelm:
more robust treatment of generated strings;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 65900:d82d1a2e8a4b by wenzelm:
proper File.platform_path for scala on Windows;
The file was modified src/HOL/Library/code_test.ML (diff)
Changeset 65899:ab7d8c999531 by wenzelm:
removed junk;
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
Changeset 65898:f02a1289e2c6 by wenzelm:
proper File.platform_path for poly on Windows;
The file was modified src/HOL/Library/code_test.ML (diff)