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/thread_dummy.ML
changeset 28154 3c3663e24ba7
parent 28152 c1277547d59f
child 29564 f8b933a62151
equal deleted inserted replaced
28153:67147cc3f967 28154:3c3663e24ba7 
    77   | NONE => data := ref (Universal.tagInject tag x) :: ! data);
 
    77   | NONE => data := ref (Universal.tagInject tag x) :: ! data);
 
    78 
    78 
    79 end;
 
    79 end;
 
    80 end;
 
    80 end;
 
    81 end;
 
    81 end;
 
    82
isabelle