Mercurial > urweb

comparison demo/crud.urs @ 1657:2b7d3d99dc42

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Jan 2012 17:10:43 -0500
parents bb3fc575cfe7
children
comparison
equal deleted inserted replaced
1656:3e7c7e200713 1657:2b7d3d99dc42