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 198 d93cc4295306
parent 173 b51cb9aef3ae
equal deleted inserted replaced
197:0eef61c56891 198:d93cc4295306 
     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_Mopup",
 
     7 	  "thys/Abacus", 
     7 	  "thys/Abacus", 
       
     8           "thys/Abacus_Defs",
 
     8 	  "thys/Rec_Def", 
     9 	  "thys/Rec_Def", 
     9 	  "thys/Recursive",
 
    10 	  "thys/Recursive",
 
    10           "thys/UF",
 
    11           "thys/UF",
 
    11           "thys/UTM"]
 
    12           "thys/UTM"]
tm