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

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


<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.


More information about the isabelle-dev mailing list