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/ML-Systems/polyml_common.ML
changeset 43948 8f5add916a99
parent 43703 c37a1f29bbc0
equal deleted inserted replaced
43947:9b00f09f7721 43948:8f5add916a99 
    32 val _ = PolyML.Compiler.forgetValue "explode";
 
    32 val _ = PolyML.Compiler.forgetValue "explode";
 
    33 val _ = PolyML.Compiler.forgetValue "concat";
 
    33 val _ = PolyML.Compiler.forgetValue "concat";
 
    34 
    34 
    35 
    35 
    36 (* Compiler options *)
 
    36 (* Compiler options *)
 
    37 
       
    38 val ml_system_fix_ints = false;
 
       
    39 
    37 
    40 PolyML.Compiler.printInAlphabeticalOrder := false;
 
    38 PolyML.Compiler.printInAlphabeticalOrder := false;
 
    41 PolyML.Compiler.maxInlineSize := 80;
 
    39 PolyML.Compiler.maxInlineSize := 80;
 
    42 
    40 
    43 
    41
isabelle