Command-line tool "isabelle hg_setup"
System
- The command-line tool "isabelle hg_setup" simplifies the setup of Mercurial repositories, with hosting via Phabricator or SSH file server access.
This refers to Isabelle/0131b7b44c32, with documentation in https://isabelle.in.tum.de/repos/isabelle/file/0131b7b44c32/src/Doc/System/Misc.thy#l152
- Projects
- None
- Subscribers
- None