Skip to content

Version 4.6.3
Compare
Choose a tag to compare
@smitsch smitsch released this 11 Jan 03:01
· 5893 commits to master since this release
4.6.3
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
f2cbc33

Version 4.6.3 provides UI and tactic improvements

  • [UI] Model editing during a proof
  • [UI] Tactic help on menu and context menu entries
  • [Tactics] Execute until error without discarding non-applicable tactics
  • [Tactics] ODE solve support for nilpotent linear systems
  • [Parser] Support for exercises
Assets 3
Loading