repos / cl-unification / headdiff
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Make MATCHING agree with MATCH[F][-CASE] about the conditions of failure --> to head
darcs: _darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
Sally sells sea-shells by the sea shore.