Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Tue, 04 Oct 2016 14:26:05 +0200
changeset 64033 2989c1f2593a
parent 64032 46c1ffc78d73
child 64034 51bf28aa18a5
tuned signature;
src/Pure/General/mercurial.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/mercurial.scala	Tue Oct 04 14:20:26 2016 +0200
+++ b/src/Pure/General/mercurial.scala	Tue Oct 04 14:26:05 2016 +0200
@@ -46,8 +46,8 @@
     def manifest(rev: String = "", options: String = ""): List[String] =
       command("manifest " + options + opt_rev(rev)).check.out_lines
 
-    def log(rev: String = "", options: String = ""): String =
-      Library.trim_line(command("log " + options + opt_rev(rev)).check.out)
+    def log(rev: String = "", template: String = "", options: String = ""): String =
+      Library.trim_line(command("log " + options + opt_rev(rev) + opt_template(template)).check.out)
 
     def pull(remote: String = "", rev: String = "", options: String = ""): Unit =
       command("pull " + options + opt_rev(rev) + optional(remote)).check
isabelle