Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. proper executable file;
  2. more documentation: odd option for special situations;
  3. tuned;
  4. updated to sumatra_pdf-3.1.2-1: x86_64-windows;
  5. updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
  6. updated to opam-2.0.6;
  7. updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
Changeset 71391:5556ae257df9 by wenzelm:
proper executable file;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/windows (diff)
Changeset 71390:5e7ba6aa85d7 by wenzelm:
more documentation: odd option for special situations;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71389:21995f5e8126 by wenzelm:
tuned;
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 71388:57861bd0a3e1 by wenzelm:
updated to sumatra_pdf-3.1.2-1: x86_64-windows;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/windows (diff)
Changeset 71387:b3b992f6ad8f by wenzelm:
updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
Changeset 71386:7e8e5e1f8f90 by wenzelm:
updated to opam-2.0.6;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71385:06bb82e7af2a by wenzelm:
updated to current cygwin, after 3.1.2-1 from 21-Dec-2019;
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/Windows/Cygwin/setup_server (diff)
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)