Summary
- removed obsolete RC tags;
- build_docker is regular tool (non-admin);
- merged
- Added tag Isabelle2017 for changeset 64b47495676d
- obsolete;
- more NEWS;
- updated for release;
The file was modified | .hgtags (diff) |
The file was added | src/Pure/Tools/build_docker.scala |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/Admin/build_docker.scala |
The file was modified | .hgtags (diff) |
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/System/Environment.thy (diff) |
The file was modified | src/Doc/System/Misc.thy (diff) |
The file was modified | src/Pure/Admin/build_docker.scala (diff) |