Mercurial Mercurial > repos > isabelle / comparison
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/System/session.ML
changeset 48698 2585042b1a30
parent 48646 91281e9472d8
child 48709 719f458cd89e
equal deleted inserted replaced
48697:538ea0adb8e1 48698:2585042b1a30 
    71 fun finish () =
 
    71 fun finish () =
 
    72   (Thy_Info.finish ();
 
    72   (Thy_Info.finish ();
 
    73     Present.finish ();
 
    73     Present.finish ();
 
    74     Outer_Syntax.check_syntax ();
 
    74     Outer_Syntax.check_syntax ();
 
    75     Future.shutdown ();
 
    75     Future.shutdown ();
 
       
    76     Options.reset_default ();
 
    76     session_finished := true);
 
    77     session_finished := true);
 
    77 
    78 
    78 
    79 
    79 (* use_dir *)
 
    80 (* use_dir *)
 
    80 
    81
isabelle