| changeset 64165 | 2e1b25d6c108 |
| parent 64160 | 1eea419fab65 |
| child 64217 | 3dbfd6758735 |
| 64162:03057a8fdd1f | 64165:2e1b25d6c108 |
|---|---|
70 options |
70 options |
71 } |
71 } |
72 |
72 |
73 |
73 |
74 final def hg_id(path: Path): String = |
74 final def hg_id(path: Path): String = |
75 Isabelle_System.hg("id -i", path.file).out |
75 Mercurial.repository(path).identify(options = "-i") |
76 |
76 |
77 final def print_section(title: String): Unit = |
77 final def print_section(title: String): Unit = |
78 println(s"\n=== $title ===\n") |
78 println(s"\n=== $title ===\n") |
79 |
79 |
80 |
80 |