On Tuesday, 31 May 2016 at 08:02:59 am +0200, CieMaKat . wrote: > My bad. Of course I meant <marker/>. IMHO both should be valid as <br> and > <br/> are valid in HTML5 (see: http://stackoverflow.com/a/1946452)
That shouldn't be too difficult. Thus, if we go that route (which appears to be the most preferable so far--5 for, 3 against, counting the developers), we would accept <marker>, <marker/> (with optional spaces before the slash), and reject </marker>. Henry _______________________________________________ Gregorio-users mailing list [email protected] https://mail.gna.org/listinfo/gregorio-users
