diff -r 27659455c592 -r ac8feb094bd4 src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Wed May 05 13:27:30 2021 +0200
+++ b/src/Pure/General/path.scala	Wed May 05 13:30:11 2021 +0200
@@ -217,6 +217,8 @@
   def tex: Path = ext("tex")
   def pdf: Path = ext("pdf")
   def thy: Path = ext("thy")
+  def tar: Path = ext("tar")
+  def gz: Path = ext("gz")
 
   def backup: Path =
   {