Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less ambitious parallelism to make this work more robustly on Windows;
  2. more settings;
  3. support for ISABELLE_GHC on Windows, using the native version (mingw32);
  4. permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows;
  5. clarified signature;
  6. more settings;
  7. more robust treatment of generated strings;
  8. proper File.platform_path for scala on Windows;
  9. removed junk;
  10. proper File.platform_path for poly on Windows;
Changeset 65907:637d18b325d0 by wenzelm:
less ambitious parallelism to make this work more robustly on Windows;
The file was modified src/HOL/Nitpick_Examples/Mini_Nits.thy (diff)
Changeset 65906:78fa1771f61d by wenzelm:
more settings;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65905:6181ccb4ec8c by wenzelm:
support for ISABELLE_GHC on Windows, using the native version (mingw32);
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/Matrix_LP/Compute_Oracle/am_ghc.ML (diff)
The file was modified src/HOL/Tools/Quickcheck/narrowing_generators.ML (diff)
Changeset 65904:8411f1a2272c by wenzelm:
permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows;
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Pure/library.ML (diff)
Changeset 65903:692e428803c8 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/line.scala (diff)
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 65902:c28143ae38cd by wenzelm:
more settings;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
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)