Mercurial Mercurial > hg > tm / 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.
ROOT.ML
changeset 145 38d8e0e37b7d
parent 101 06db15939b7c
child 163 67063c5365e1
equal deleted inserted replaced
144:07730607b0ca 145:38d8e0e37b7d 
    16           "thys/turing_hoare", 
    16           "thys/turing_hoare", 
    17 	  "thys/uncomputable", 
    17 	  "thys/uncomputable", 
    18 	  "thys/abacus", 
    18 	  "thys/abacus", 
    19 	  "thys/rec_def", 
    19 	  "thys/rec_def", 
    20 	  "thys/recursive",
 
    20 	  "thys/recursive",
 
    21           "thys/UF"]
 
    21           "thys/UF",
 
       
    22           "thys/UTM"]
tm