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 174 3674347dd98e
parent 173 b51cb9aef3ae
child 237 06a6db387cd2
equal deleted inserted replaced
173:b51cb9aef3ae 174:3674347dd98e 
    22 
    22 
    23 Paper   - contains the files for the paper
 
    23 Paper   - contains the files for the paper
 
    24 
    24 
    25 Attic      - old files
 
    25 Attic      - old files
 
    26 Literature - related work
 
    26 Literature - related work
 
       
    27 
       
    28 
       
    29 isabelle make utm     -- creates the big session file
 
       
    30 isabelle make itp     -- creates paper
tm