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

Written by makarius on Dec 19 2019, 8:43 PM.
User
Projects
None
Subscribers
None

Event Timeline