[r-t] Proving programs
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.
More information about the ringing-theory