Mathematica Configuration Updated Successfully

You may now continue using KeYmaera X.
We strongly encourage shutting down the server (click button) and restarting KeYmaera X (java -Xss20M -jar keymaerax.jar).