X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=article.tex;h=9a0cf07790e56d6f778ce8ff8ee244b546533fd7;hp=799cb93fffb2683ebeee4e4cd458d1befeac31a3;hb=0165b1c1d3cff6d78747f2975d8cdfa54ecd0c9c;hpb=ea0f287165fd75cb24cef2dfcf894c9feb1e296e

diff --git a/article.tex b/article.tex
index 799cb93..9a0cf07 100644
--- a/article.tex
+++ b/article.tex
@@ -317,6 +317,8 @@ $\qed$
 
 \section{Commit annotation}
 
+xxx need to compute annotation for every commit type
+
 We annotate each Topbloke commit $C$ with:
 \gathbegin
  \patchof{C}