Summary
- proper argument type (amending 8d5cb4ea2b7c);
- tuned;
- updated for release;
- tuned;
- misc updates for release;
- tuned;
- tuned;
- misc tuning and updates for release;
- updated to sqlite-jdbc-3.20.0;
- updated to postgresql-42.1.4;
- avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
The file was modified | src/Pure/General/http.scala (diff) |
The file was modified | ANNOUNCE (diff) |
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | src/Tools/jEdit/src-base/Isabelle_Base.props (diff) |
The file was modified | ANNOUNCE (diff) |
The file was modified | CONTRIBUTORS (diff) |
The file was modified | COPYRIGHT (diff) |
The file was modified | NEWS (diff) |
The file was modified | NEWS (diff) |
The file was modified | NEWS (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | src/Tools/jEdit/src/isabelle.scala (diff) |