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 185 2fad78b479a3
parent 184 7386b3758360
child 186 455411d69c12
equal deleted inserted replaced
184:7386b3758360 185:2fad78b479a3 
     1 session utm = HOL +
 
     1 session UTM = HOL +
 
     2   options [document = false]
 
     2   options [document = false]
 
     3   theories
 
     3   theories
 
     4     "thys/Turing"
 
     4     "thys/Turing"
 
     5     "thys/Turing_Hoare"
 
     5     "thys/Turing_Hoare"
 
     6     "thys/Uncomputable"
 
     6     "thys/Uncomputable"
tm