# HG changeset patch # User Claire MOULS # Date 1363279208 -3600 # Node ID 72e7a80bd9042ef7010d77ec1ec68080cc9511c8 # Parent d5cb2d1375025c4d77381890a3e931ec83c41135 Enrichissement des notes diff -r d5cb2d137502 -r 72e7a80bd904 RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc mar. mars 12 14:59:43 2013 +0100 +++ b/RelaxNG/publidoc.rnc jeu. mars 14 17:40:08 2013 +0100 @@ -652,7 +652,7 @@ note.label.attribute = attribute label { text } note.content = - (w?, p+) | inlines + (w?, block+) | inlines w = element w { inlines }