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/options.ML
changeset 62712 22a17cec2efe
parent 59812 675d0c692c41
child 62791 64ebecf8646c
equal deleted inserted replaced
62711:09df6a51ad3c 62712:22a17cec2efe 
   214           SOME s => (set_default (decode (YXML.parse_body s)); ignore (try File.rm path))
 
   214           SOME s => (set_default (decode (YXML.parse_body s)); ignore (try File.rm path))
 
   215         | NONE => ())
 
   215         | NONE => ())
 
   216       end);
 
   216       end);
 
   217 
   217 
   218 val _ = load_default ();
 
   218 val _ = load_default ();
 
       
   219 val _ = ML_Pretty.print_depth (default_int "ML_print_depth");
 
   219 
   220 
   220 end;
 
   221 end;
 
   221
isabelle