more accurate output;
authorwenzelm
Sat Sep 08 14:30:31 2018 +0200 (8 months ago)
changeset 689489abd946f990c
parent 68947 ea804c814693
child 68949 e848328cb2c1
more accurate output;
src/Pure/Tools/dump.scala
     1.1 --- a/src/Pure/Tools/dump.scala	Sat Sep 08 13:36:40 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Sat Sep 08 14:30:31 2018 +0200
     1.3 @@ -208,7 +208,7 @@
     1.4      -D DIR       include session directory and select its sessions
     1.5      -O DIR       output directory for dumped files (default: """ + default_output_dir + """)
     1.6      -R           operate on requirements of selected sessions
     1.7 -    -W SECONDS   delay for cleaning of already dumped theories (0 = disabled, default: """ +
     1.8 +    -W SECONDS   watchdog timeout for PIDE processing (0 = disabled, default: """ +
     1.9        Value.Seconds(Thy_Resources.default_watchdog_timeout) + """)
    1.10      -X NAME      exclude sessions from group NAME and all descendants
    1.11      -a           select all sessions