Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more operations;
  3. more operations; tuned;
  4. support resource management;
  5. clarified modules;
Changeset 63792:4ccb7e635477 by wenzelm:
merged
Changeset 63791:c6cbdfaae19e by wenzelm:
more operations;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/sqlite.scala (diff)
Changeset 63790:3d723062dc70 by wenzelm:
more operations;<br>tuned;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/sqlite.scala (diff)
Changeset 63789:af28929ff219 by wenzelm:
support resource management;
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 63788:3160826b92f8 by wenzelm:
clarified modules;
The file was addedsrc/Pure/General/sql.scala
The file was addedsrc/Pure/General/sqlite.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/sql.scala
The file was removedsrc/Pure/Tools/sqlite.scala