+ static bool isCompatibleCommand(std::string const & s)
+ { return s == "label"; }
+ ///
+ void updateLabels(ParIterator const & it);
+ ///
+ void addToToc(DocIterator const &);
+ ///
+ void updateCommand(docstring const & new_label, bool updaterefs = true);