Summary
- merged
- more operations;
- more operations; tuned;
- support resource management;
- clarified modules;
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sqlite.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sqlite.scala (diff) |
The file was modified | src/Pure/ROOT.scala (diff) |
The file was modified | src/Pure/library.scala (diff) |
The file was added | src/Pure/General/sql.scala |
The file was added | src/Pure/General/sqlite.scala |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/Tools/sql.scala |
The file was removed | src/Pure/Tools/sqlite.scala |