New identifier for "<problem>"?

[budb...@gmail.com]

Previously I had renamed <exercise> and <problem> as follows:

  <rename element="inlineexercise" xml:lang="en-US">Problem</rename>
  <rename element="problem"  xml:lang="en-US">Drill</rename>

As per the updated naming convention I've changed the first one to 

  <rename element="exercise-inline" xml:lang="en-US">Problem</rename>

and it works fine. But how should I change the second one so that I get "Drill" instead of "Checkpoint"?

-- Bud

[budb...@gmail.com]

Ooops! Never mind. I confused myself. -- Bud

[Rob Beezer]

On 10/1/26 10:00, budb...@gmail.com wrote:
> Ooops! Never mind. I confused myself. -- Bud

You had me confused! ;-) But I hadn't been able to reply immediately.

Rob