[no subject]

[Gavin D. Smith]

branch: master
commit 38035fd5216b67bf035cc229ecf03fe088648f9f
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Aug 15 00:06:28 2022 +0100

    * TODO: Add tagging system for definitions.
---
 ChangeLog | 4 ++++
 TODO      | 3 ++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e151fc887d..900a7b1c3d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-08-14  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * TODO: Add tagging system for definitions.
+
 2022-08-14  Gavin Smith  <gavinsmith0123@gmail.com>
 
        No \{, \} in sort key
diff --git a/TODO b/TODO
index 55f9bfe0f6..c96de60e0a 100644
--- a/TODO
+++ b/TODO
@@ -10,7 +10,8 @@ If you are interested in working on any of these, email 
bug-texinfo@gnu.org.
 * Language:
   - generalize @deffn/etc. with variants that don't make index entries.
     - could use "@deffn @index{IX} ..." to use index IX instead of default
-  - Better def... command syntax, explicitly marking variables, etc.
+  - tagging system for definitions - (Robert Dodier for Maxima,
+    https://lists.gnu.org/archive/html/help-texinfo/2021-12/msg00012.html)
   - generalize @vtable/@ftable to any defined index.
     - maybe "@ftable @asis @index{IX}"
   - @mergeindex to do @syn*index without changing fonts.