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 187 326310016da9
parent 186 455411d69c12
child 198 d93cc4295306
equal deleted inserted replaced
186:455411d69c12 187:326310016da9 
    10     "thys/Recursive"
 
    10     "thys/Recursive"
 
    11     "thys/UF"
 
    11     "thys/UF"
 
    12     "thys/UTM"
 
    12     "thys/UTM"
 
    13 
    13 
    14 session ITP = UTM +
 
    14 session ITP = UTM +
 
       
    15   options [document = pdf, document_output = "."]
 
    15   theories
 
    16   theories
 
    16     "Paper/Paper"
 
    17     "Paper/Paper"
tm