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/Tools/isabelle_process.ML
changeset 25576 ee11881606b7
parent 25565 33d30a53fae7
child 25631 9036ccd685b4
equal deleted inserted replaced
25575:fee953b45015 25576:ee11881606b7 
    29 (* channels *)
 
    29 (* channels *)
 
    30 
    30 
    31 local
 
    31 local
 
    32 
    32 
    33 fun special c = chr 2 ^ c;
 
    33 fun special c = chr 2 ^ c;
 
    34 val special_end = special "Z";
 
    34 val special_end = special ".";
 
    35 
    35 
    36 fun output c m s =
 
    36 fun output c m s =
 
    37   Output.writeln_default (special c ^ Markup.enclose m s ^ special_end);
 
    37   Output.writeln_default (special c ^ Markup.enclose m s ^ special_end);
 
    38 
    38 
    39 in
 
    39 in
isabelle