Further minor tweak of future work
authorHenrik Nilsson <nhn@cs.nott.ac.uk>
Mon, 11 Oct 2010 17:28:25 +0000 (18:28 +0100)
committerHenrik Nilsson <nhn@cs.nott.ac.uk>
Mon, 11 Oct 2010 17:28:25 +0000 (18:28 +0100)
commit225d6a4958159b579ca27a372e48af21fbda77f0
tree7b9eb82883e8e61e28f699a942251b5fbe890f6c
parent4631dd70016cdbd4cb82f22b99169b0783206ed7
Further minor tweak of future work

modified:   future.lhs
future.lhs