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.
- Projects
- None
- Subscribers
- None