Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10 -2 +2 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 24 Jan 2011 11:29:55 +0000 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]. changeset | files
Fri, 07 Jan 2011 14:25:23 +0000 wu Beautifying of the Other Direction is finished. changeset | files
(0) -10 -2 +2 +10 +30 +100 +300 tip
regexp