Pre-release which is not yet feature complete and the usage of Proof might still be changed in a breaking manner. It already features:
- Proof and subtypes as successor of Assertion and co.
- Reporter which is based on Proof and aligns output
- link for intellij on the JVM platform
and the following fixes
- #1883 fix typo in DescriptionMapLikeProof by @robstoll in #1885
- #1884 take surrogate code points into account in RegexSearcher by @robstoll in #1886
And some further improvements which will be outlined in detail in the official v1.3.0 release
Full Changelog: v1.2.0...v1.3.0-alpha-1