Stefan Mitsch

It seems that the connection to Mathematica is blocked. Please try the following configuration options: * try toggling true/false; connection over TCPIP is sometimes more stable, but if true, a...

The attached archive seems to not fit the bug description, please update.

Was unable to reproduce it, may have been fixed with some earlier improvement. Please check.

Still not able to reproduce. Is there anything useful in the View->Developer->JavaScript Console in Chrome?

The error message means that there is a warning generated by Mathematica/Wolfram Engine, but KeYmaera X couldn't retrieve it for display on the UI. Instead, we display the attempted query....