[r-t] Proving programs

[Chris02]

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