Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
  2. misc tuning and updates;
  3. clarified default args; more ambitious tests;
Changeset 64340:7f42e66c0d3d by wenzelm:
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 64339:321065f9f55b by wenzelm:
misc tuning and updates;
The file was modified Admin/PLATFORMS (diff)
Changeset 64338:20c543b9fa80 by wenzelm:
clarified default args;<br>more ambitious tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)