HomeIsabelle/Phabricator
Command-line tools "isabelle hg_sync" and "isabelle sync"

System

  • Command-line tool isabelle hg_sync synchronizes the working directory of a local Mercurial repository with a target directory, using rsync notation for destinations.
  • Command-line tool isabelle sync synchronizes Isabelle + AFP repositories with a target directory, based on isabelle hg_sync. Local jars and sessions images may be uploaded as well, to avoid redundant builds on the remote side. This tool requires a Mercurial clone of the Isabelle repository: a regular download of the distribution will not work!

This refers to Isabelle/197a5b3a1ea2. Documentation is in the system manual, as usual.

Written by makarius on Jun 11 2022, 11:01 PM.
User
Projects
None
Subscribers
None

Event Timeline