r7rs-small-texinfo

commit b86a104132a11c9720e53c26c94b62543f6cd530
parent d37f5831105494d2f4faa02a245576ae5e72f988
Author: Wolfgang Corcoran-Mathe <wcm@sigwinch.xyz>
Date:   Wed,  7 Feb 2024 22:34:29 -0500

Note TODOs that are HAVEDONES.

Diffstat:
M
TODO.md
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/TODO.md b/TODO.md
@@ -3,13 +3,13 @@
 General things that need doing once every section has been
 Texified properly.
 
-* Bibliography and citations.
+* ✓ Bibliography and citations.
 
 * Describe Texinfo entry format somewhere; possibly ask John Cowan
   if it would be alright to interpolate this description into
   'Entry format'.
 
-* Indexes. Decide how many Texinfo indexes we want, then populate
+* ✓ Indexes. Decide how many Texinfo indexes we want, then populate
   them.
 
 * Figure out the best way to format the formal syntax and semantics.