src/Pure/Tools/build.ML
changeset 67493 c4e9e0c50487
parent 67472 bddfa23a4ea9
child 68090 0763d4eb3ebc
     1.1 --- a/src/Pure/Tools/build.ML	Tue Jan 23 17:58:09 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.ML	Tue Jan 23 19:25:39 2018 +0100
     1.3 @@ -149,7 +149,7 @@
     1.4    name: string,
     1.5    master_dir: Path.T,
     1.6    theories: (Options.T * (string * Position.T) list) list,
     1.7 -  sessions: string list,
     1.8 +  sessions: (string * Properties.T) list,
     1.9    doc_names: string list,
    1.10    global_theories: (string * string) list,
    1.11    loaded_theories: string list,
    1.12 @@ -168,8 +168,9 @@
    1.13          (pair (list (pair string string)) (pair string (pair string (pair string (pair string
    1.14            (pair string
    1.15              (pair (((list (pair Options.decode (list (pair string position))))))
    1.16 -              (pair (list string) (pair (list string) (pair (list (pair string string)) (pair (list string)
    1.17 -                (pair (list (pair string string)) (list string)))))))))))))))))
    1.18 +              (pair (list (pair string properties)) (pair (list string)
    1.19 +                (pair (list (pair string string)) (pair (list string)
    1.20 +                  (pair (list (pair string string)) (list string)))))))))))))))))
    1.21        (YXML.parse_body yxml);
    1.22    in
    1.23      Args {symbol_codes = symbol_codes, command_timings = command_timings, do_output = do_output,
    1.24 @@ -190,7 +191,7 @@
    1.25      val _ =
    1.26        Resources.init_session_base
    1.27          {sessions = sessions,
    1.28 -         doc_names = doc_names,
    1.29 +         docs = doc_names,
    1.30           global_theories = global_theories,
    1.31           loaded_theories = loaded_theories,
    1.32           known_theories = known_theories};