Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30 -10 -8 +8 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Wed, 26 Jan 2011 13:21:16 +0000 zhang ok changeset | files
Tue, 25 Jan 2011 12:14:31 +0000 zhang 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 changeset | files
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
Fri, 31 Dec 2010 13:47:53 +0000 wu Rewritten of hard direction once more. To make it looking better. changeset | files
Tue, 14 Dec 2010 14:31:31 +0000 wu Add new file for the new definition of the hard direction's simplification. changeset | files
Fri, 26 Nov 2010 12:34:34 +0000 urbanc added a recent paper by Tobias Nipkow on regular expressions changeset | files
Fri, 26 Nov 2010 10:53:14 +0000 urbanc added interesting paper by rutten changeset | files
(0) -30 -10 -8 +8 +10 +30 +100 +300 tip
regexp