# HG changeset patch
# User wenzelm
# Date 1571052113 -7200
# Node ID f76126e6a1ab118c995ac2bde3e1dbbf2e96a7f1
# Parent  822f5cbfc5b6782b7be2b956d660413cb0381c6d
clarified defaults;

diff -r 822f5cbfc5b6 -r f76126e6a1ab src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Mon Oct 14 13:17:33 2019 +0200
+++ b/src/Doc/System/Sessions.thy	Mon Oct 14 13:21:53 2019 +0200
@@ -553,7 +553,7 @@
     -a           select all sessions
     -d DIR       include session directory
     -g NAME      select session group NAME
-    -l NAME      logic session name (default ISABELLE_LOGIC="HOL")
+    -l NAME      logic session name (default "Pure")
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -v           verbose
     -x NAME      exclude session NAME and all descendants
diff -r 822f5cbfc5b6 -r f76126e6a1ab src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Mon Oct 14 13:17:33 2019 +0200
+++ b/src/Pure/Tools/dump.scala	Mon Oct 14 13:21:53 2019 +0200
@@ -252,6 +252,7 @@
   /* dump */
 
   val default_output_dir: Path = Path.explode("dump")
+  val default_logic: String = Thy_Header.PURE
 
   def dump(
     options: Options,
@@ -293,7 +294,7 @@
       var all_sessions = false
       var dirs: List[Path] = Nil
       var session_groups: List[String] = Nil
-      var logic = Isabelle_System.getenv("ISABELLE_LOGIC")
+      var logic = default_logic
       var options = Options.init()
       var verbose = false
       var exclude_sessions: List[String] = Nil
@@ -311,7 +312,7 @@
     -a           select all sessions
     -d DIR       include session directory
     -g NAME      select session group NAME
-    -l NAME      logic session name (default ISABELLE_LOGIC=""" + quote(logic) + """)
+    -l NAME      logic session name (default """ + quote(logic) + """)
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
     -v           verbose
     -x NAME      exclude session NAME and all descendants