Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more settings;
  2. support for ISABELLE_GHC on Windows, using the native version (mingw32);
  3. permissive trim_line as in Scala, e.g. relevant for poly/TextIO.print output on Windows;
  4. clarified signature;
  5. more settings;
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)