Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proper transaction for PostgreSQL;
  3. clarified Date storage;
  4. more operations;
  5. tuned signature;
  6. clarified signature;
  7. renamings
  8. tuning
Changeset 65023:e383fad30b25 by wenzelm:
merged
Changeset 65022:cda3d36aceb2 by wenzelm:
proper transaction for PostgreSQL;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65021:da8ae577d171 by wenzelm:
clarified Date storage;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65020:a4fcaeadc825 by wenzelm:
more operations;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65019:0ca91e5d52df by wenzelm:
tuned signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65018:8b36f225bbee by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65017:d11249edc2c2 by blanchet:
renamings
The file was modified src/HOL/ex/veriT_Preprocessing.thy (diff)
Changeset 65016:c0ab0824ccb5 by blanchet:
tuning
The file was modified src/HOL/ex/veriT_Preprocessing.thy (diff)