chiark / gitweb /
~ian / topbloke-formulae.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb07ad8) | patch
merge coherence use two implies in statement since equiv cannot represent haspatch...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:24:03 +0000 (12:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 12:24:03 +0000 (12:24 +0000)
commitf8637246494c0136651af433d281ed392f8172a5
tree79802677f53d44cf8ca851601a6c6654d1b3c225tree | snapshot
parentcb07ad8fa5136f4caf2de5296b916749e6fcd84acommit | diff
merge coherence use two implies in statement since equiv cannot represent haspatch and nothaspatch
article.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.