Build a description of the
Macro:
(defmacro xdoc::desc-apt-input-new-to-old-name nil '(xdoc::desc "@(':new-to-old-name') — default from <see topic='@(url defaults-table)'>table</see>" (xdoc::p "Determines the name of the theorem that rewrites the new function in terms of the old function.") (xdoc::p "It must be one of the following:") (xdoc::ul (xdoc::li "A keyword, to use as separator between the names of @('new') and @('old'). A keyword @(':kwd') specifies the theorem name @('newkwdold'), in the same package as @('new').") (xdoc::li "Any other symbol, to use as the name of the theorem.") (xdoc::li "Absent, to use the value from the APT defaults table, which is set via @(tsee set-default-input-new-to-old-name).")) (xdoc::p "In the rest of this documentation page, let @('new-to-old') be the name of this theorem.")))