chiark / gitweb /
strategy notation: introduce \allsrcs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 May 2012 00:10:52 +0000 (01:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 May 2012 00:11:00 +0000 (01:11 +0100)
commiteb02216495da42d7de57d8ecf16b62dd50d2baf2
treeec1674e66cce05ac2845b82cf64bb67f9fe4dc0c
parent8ee16bd8a84437fc51257805eb234c4dee054889
strategy notation: introduce \allsrcs
article.tex
strategy.tex