HomeIsabelle/Phabricator
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.

Written by makarius on Mar 21 2020, 10:42 PM.
User
Projects
None
Subscribers
None

Event Timeline