Build a description of the
Macro:
(defmacro xdoc::desc-apt-input-old-to-new-name nil '(xdoc::desc "@(':old-to-new-name') — default from <see topic='@(url defaults-table)'>table</see>" (xdoc::p "Determines the name of the theorem that rewrites the old function in terms of the new function.") (xdoc::p "It must be one of the following:") (xdoc::ul (xdoc::li "A keyword, to use as separator between the names of @('old') and @('new'). A keyword @(':kwd') specifies the theorem name @('oldkwdnew'), 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-old-to-new-name).")) (xdoc::p "In the rest of this documentation page, let @('old-to-new') be the name of this theorem.")))