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.
README
changeset 298 ac5461882f3e
parent 272 42f2c28d1ce6
child 299 a2707a5652d9
equal deleted inserted replaced
297:bee184c83071 298:ac5461882f3e 
    35 
    35 
    36 ============================
 
    36 ============================
 
    37 ROOT setup
 
    37 ROOT setup
 
    38 
    38 
    39 isabelle build -d . Slides2
 
    39 isabelle build -d . Slides2
 
       
    40 
       
    41 ============================
tm