Mercurial > urweb

log src/reduce_local.sml

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sat, 14 Feb 2009 14:07:56 -0500 Adam Chlipala Start of RPCification
Wed, 26 Nov 2008 15:42:00 -0500 Adam Chlipala Port Reduce improvements to ReduceLocal
less more | (0) tip