I just wanted to ask, after the thread is apperently dead, whether chances are 
high that there will be an <exercise> tag in the future so that I can try to 
modify the DTD on my own for now to contain such a tag (because I need 
exercises) or whether I should better use the <para role="exercise"> 
workaround.

Greetings,
Joachim

Reply via email to