Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enforce rebuild of Isabelle/ML;
  2. more robust transactions;
  3. proper support for Option[Date] columns;
  4. more robust transactions;
  5. clarified signature;
Changeset 77600:e5b09ff7d72f by wenzelm:
enforce rebuild of Isabelle/ML;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 77599:2b4e5861f882 by wenzelm:
more robust transactions;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 77598:6370d9e5ab50 by wenzelm:
proper support for Option[Date] columns;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 77597:308f3f48c2c7 by wenzelm:
more robust transactions;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 77596:dd8b08729458 by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)