Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more exports;
  2. updated to Ubuntu 18.04;
Changeset 68997:4278947ba336 by wenzelm:
more exports;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68996:5f333f88d2c1 by wenzelm:
updated to Ubuntu 18.04;
The file was modified Admin/cronjob/README (diff)