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.
prefer Zstd compression, notably for database exports;
authorwenzelm
Sat, 22 Oct 2022 19:51:08 +0200
changeset 76362 1928405a409b
parent 76361 3b9f36ef7365
child 76363 f7174238b5e3
prefer Zstd compression, notably for database exports;
src/Pure/General/compress.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/compress.scala	Sat Oct 22 16:56:17 2022 +0200
+++ b/src/Pure/General/compress.scala	Sat Oct 22 19:51:08 2022 +0200
@@ -15,7 +15,7 @@
   /* options */
 
   object Options {
-    def apply(): Options = Options_XZ()
+    def apply(): Options = Options_Zstd()
   }
   sealed abstract class Options
   case class Options_XZ(level: Int = 3) extends Options {
isabelle