diff --git a/core/base.xml b/core/base.xml index 7f177859..2f3e5a26 100644 --- a/core/base.xml +++ b/core/base.xml @@ -135,14 +135,12 @@
- The templates in this section handle code that is - a~work-in-progress; they should probably not be used in production - code, since they indicate that something is incomplete or unused. - - \ref{_todo_} formalizes TODO items and \may~always yield a scalar - integer~0, so it may be used within calculations. If yielding a - constant value is not appropriate, it \may~also be stripped from - the output entirely. + \ref{_todo_} formalizes TODO items and may optionally yield a + value~\tt{@value@} for use within calculations.% + \footnote{This is different than its previous behavior of always + yielding a scalar~$0$.} + All uses of the \ref{_todo_} template will produce a warning composed of + its description~\tt{@desc@}.