Skip to content

Version 5.1.0
Compare
Choose a tag to compare
@EnguerrandPrebet EnguerrandPrebet released this 26 Jun 18:04
· 260 commits to master since this release
5.1.0
This tag was signed with the committer’s verified signature.
EnguerrandPrebet Enguerrand Prebet
SSH Key Fingerprint: I7RWxN6XAK9FZ355zV+8Q5YCpsIKcMOPLyMPyFEn8l8 Learn about vigilant mode.
6514b77

Version 5.1.0 provides bug fixes and maintenance.

  • Increased minimum supported Java version to 11 (tested up to 22)
  • Improved automatic Mathematica path detection
  • Fixed bug preventing KeYmaera X from running on Windows
  • Fixed axiom derivation issues on startup
  • Fixed incorrect syntax errors in webui text editor
  • Removed -security CLI flag and webui SSL support
Assets 3
Loading