-
Notifications
You must be signed in to change notification settings - Fork 39
Release Notes
Nathan Fulton edited this page Jul 21, 2016
·
3 revisions
Update this as you finish features so that we don't have to go back and try to figure out what's happened since the last release.
- Support for drag-and-drop rewriting of equivalences in the web UI (PropositionalTactics.equivRewriting)
- Differential auxiliaries are now supported in the tactic library and web ui.
- Improved handling of existential quantifiers that bind variables whose primed symbols occur in the scope of the existential.
- Developers: be aware of changes to build configurations -- names of JAR files are now version-agnostic: keymaerax-core.jar and keymaerax-web.jar.
- Various bug fixes