Mercurial Mercurial > hg > regexp / file revision
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.
Literature/Tom Henzinger.pdf
author zhang
Tue, 25 Jan 2011 12:14:31 +0000
changeset 31 b6815473ee2e
parent 8 1f8fe5bfd381
permissions -rwxr-xr-x
1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML

(binary:application/pdf)
regexp