Packages

o

isabelle

Mercurial

object Mercurial

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Mercurial
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Graph = isabelle.Graph[String, Unit]
  2. class Repository extends AnyRef

Value Members

  1. def check_files(files: List[Path], ssh: System = SSH.Local): (List[Path], List[Path])
  2. def clone_repository(source: String, root: Path, rev: String = "", options: String = "", ssh: System = SSH.Local): Repository
  3. def find_repository(start: Path, ssh: System = SSH.Local): Option[Repository]
  4. def init_repository(root: Path, ssh: System = SSH.Local): Repository
  5. def is_repository(root: Path, ssh: System = SSH.Local): Boolean
  6. def opt_flag(flag: String, b: Boolean): String
  7. def opt_rev(s: String): String
  8. def opt_template(s: String): String
  9. def optional(s: String, prefix: String = ""): String
  10. def repository(root: Path, ssh: System = SSH.Local): Repository
  11. def setup_repository(source: String, root: Path, ssh: System = SSH.Local): Repository