Changes (https://github.com/sireum/v3-intellij/compare/49458c1...4a9d01c): * Use italics only for function applications in predicate logic and all justifications. * Made to only display "Logika Verified" when verification status has changed or explicitly invoked. * Changed "Pbc" to "pbc" (requires Sireum v3 update).
↧