Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.ML
changeset 65457 2bf0d2fcd506
parent 65445 e9e7f5f5794c
child 65478 7c40477e0a87 
--- a/src/Pure/Tools/build.ML	Mon Apr 10 13:30:55 2017 +0200
+++ b/src/Pure/Tools/build.ML	Mon Apr 10 16:43:12 2017 +0200
@@ -146,7 +146,7 @@
   name: string,
   master_dir: Path.T,
   theories: (Options.T * (string * Position.T) list) list,
-  global_theories: string list,
+  global_theories: (string * string) list,
   loaded_theories: (string * string) list,
   known_theories: (string * string) list};
 
@@ -160,7 +160,7 @@
         (pair (list (pair string string)) (pair string (pair string (pair string (pair string
           (pair string
             (pair (((list (pair Options.decode (list (string #> rpair Position.none))))))
-              (pair (list string)
+              (pair (list (pair string string))
                 (pair (list (pair string string)) (list (pair string string)))))))))))))))
       (YXML.parse_body yxml);
   in
isabelle