chiark / gitweb /
~ian / topbloke-formulae.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9b8ed8) | patch
improve "no replay for merge results" (correct conditions, remove some duplicate...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:50:46 +0000 (19:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 19:50:46 +0000 (19:50 +0000)
commitad024e0c6f90bfc35314f88d63e367309e48d57c
treefc959109108fb8e1e43d1bb4bcef5e521edc3721tree | snapshot
parentd9b8ed895bd893cc9f96495b57cd0f7b8b70efa8commit | diff
improve "no replay for merge results" (correct conditions, remove some duplicate stuff in proof
article.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.