Slightly improved isabelle build_docker tool
System
- The command-line tool isabelle build_docker has been slightly improved: it is now properly documented in the system manual.
This refers to Isabelle/e9f53182c4aa + 9a364ed3a440 + 9b49538845cc and is relevant for the Isabelle2020 release.
- Projects
- None
- Subscribers
- None