--- a/src/Pure/General/path.scala Thu May 13 15:52:10 2021 +0200
+++ b/src/Pure/General/path.scala Fri May 14 21:32:11 2021 +0200
@@ -220,6 +220,7 @@
def thy: Path = ext("thy")
def tar: Path = ext("tar")
def gz: Path = ext("gz")
+ def log: Path = ext("log")
def backup: Path =
{