[isabelle-dev] http://isabelle.in.tum.de/testboard/

Tobias Nipkow nipkow at in.tum.de
Thu Aug 16 18:02:07 CEST 2012


produces

<class 'mpatch.mpatchError'>	Python 2.7.3: /usr/bin/python2.7
Thu Aug 16 17:59:20 2012
A problem occurred in a Python script. Here is the sequence of function calls
leading up to the error, in the order they occurred.
...

Both with firefox and safari.

Tobias


More information about the isabelle-dev mailing list