LGTM, one minor question but it's ok with me.
http://codereview.appspot.com/6068045/diff/13001/Documentation/web.texi File Documentation/web.texi (right): http://codereview.appspot.com/6068045/diff/13001/Documentation/web.texi#newcode172 Documentation/web.texi:172: xhttp=new ActiveXObject("Microsoft.XMLHTTP"); My initial intuition is that there should be a simpler way to get the contents of a file on the same server, but I happily know almost nothing about javascript. If somebody else knows javascript, it would be great if they glanced at this. http://codereview.appspot.com/6068045/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
