Summary
- tuned;
- support for type Boolean;
- clarified signature; tuned toString;
- remote database access via ssh port forwarding;
- clarified handling of SQL.Type;
- clarified toString;
- clarified modules;
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/General/postgresql.scala |
The file was removed | src/Pure/General/sql_database.scala |
The file was removed | src/Pure/General/sqlite.scala |