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 173 b51cb9aef3ae
parent 163 67063c5365e1
child 198 d93cc4295306
equal deleted inserted replaced
172:9510e5131e06 173:b51cb9aef3ae 
     1  
     1  
     2 no_document 
     2 no_document 
     3 use_thys ["thys/Turing",
 
     3 use_thys ["thys/Turing",
 
     4           "thys/Turing_Hoare", 
     4           "thys/Turing_Hoare", 
     5 	  "thys/Uncomputable", 
     5 	  "thys/Uncomputable", 
       
     6           "thys/Abacus_Mopup",
 
     6 	  "thys/Abacus", 
     7 	  "thys/Abacus", 
     7 	  "thys/Rec_Def", 
     8 	  "thys/Rec_Def", 
     8 	  "thys/Recursive",
 
     9 	  "thys/Recursive",
 
     9           "thys/UF",
 
    10           "thys/UF",
 
    10           "thys/UTM"]
 
    11           "thys/UTM"]
tm