[r-t] Proving programs

Chris02 chris02 at shropshirelad.plus.com
Thu Jul 18 15:54:45 UTC 2013

David Hull wrote:
> Webprove (http://www.turningcourse.co.uk/webprove/) should
> be platform and browser independent (but I'd welcome feedback
> from people who think it isn't).

There seems to be a problem with IE8 (and possibly all versions of IE). If
the composition is input with no line breaks all works fine. If each course
is put on a separate line, the error message "Undefined character(s) in
composition:" is given. I suspect this is because of the LF/CR characters
used by IE.

Chris Adams

More information about the ringing-theory mailing list