Version 5.0.2 provides command line improvements and improved support for interpreted functions in monitoring.
- Command line options: Z3 path, KeYmaera X home directory
- Monitoring: support for interpreted symbols, improved Python exporter
- Definitions: predefined interpreted symbol tan
- UI: animate finished proof (auto-replay)