chiark / gitweb /
notation: we have defined \setmerge now
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:59:17 +0000 (17:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 16:59:17 +0000 (17:59 +0100)
ranking.tex

index c5aa008..1dfb63a 100644 (file)
@@ -64,8 +64,6 @@ $$
   }
 $$
 
-TODO define $\setmerge$
-
 \item Finalise our putative direct dependencies
 $
 \Gamma \assign g(\pc, \Gamma)