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
changeset 186 455411d69c12
parent 185 2fad78b479a3
child 187 326310016da9
equal deleted inserted replaced
185:2fad78b479a3 186:455411d69c12 
     8     "thys/Abacus"
 
     8     "thys/Abacus"
 
     9     "thys/Rec_Def"
 
     9     "thys/Rec_Def"
 
    10     "thys/Recursive"
 
    10     "thys/Recursive"
 
    11     "thys/UF"
 
    11     "thys/UF"
 
    12     "thys/UTM"
 
    12     "thys/UTM"
 
       
    13 
       
    14 session ITP = UTM +
 
       
    15   theories
 
       
    16     "Paper/Paper"
tm