src/Doc/System/Sessions.thy

 \<open>Usage: isabelle dump [OPTIONS] [SESSIONS ...]
 
   Options are:
     -A NAMES     dump named aspects (default: ...)
     -B NAME      include session NAME and all descendants
-    -C           observe option dump_checkpoint for theories
     -D DIR       include session directory and select its sessions
     -O DIR       output directory for dumped files (default: "dump")
     -R           operate on requirements of selected sessions
     -X NAME      exclude sessions from group NAME and all descendants
     -a           select all sessions

   list. The default is to dump all known aspects, as given in the command-line
   usage of the tool. The underlying Isabelle/Scala function
   \<^verbatim>\<open>isabelle.Dump.dump()\<close> takes aspects as user-defined operations on the
   final PIDE state and document version. This allows to imitate Prover IDE
   rendering under program control.
-
-  \<^medskip> Option \<^verbatim>\<open>-C\<close> observes option \<^verbatim>\<open>dump_checkpoint\<close> within the
-  \isakeyword{theories} specification of session ROOT definitions. This helps
-  to structure the load process of large collections of theories, and thus
-  reduce overall resource requirements.
 \<close>
 
 
 subsubsection \<open>Examples\<close>