Mercurial Mercurial > hg > regexp / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Myhill.thy
2011-01-24 zhang Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy]. file | diff | annotate
2011-01-07 wu Beautifying of the Other Direction is finished. file | diff | annotate
2010-12-31 wu Rewritten of hard direction once more. To make it looking better. file | diff | annotate
2010-12-14 wu Add new file for the new definition of the hard direction's simplification. file | diff | annotate
less more (0) tip
regexp