Release of version 1.4.0 (2022-03-23):

• Minimized Version for the use with different KeY version
• Added support for writing out proof statistic file into a JSON file, see option -s.
  If you want to gather statistics you can use script like this.
• Bug-fix: Proof-path are now treated correctly and recursively.
• Bundled with KeY-2.10.0 from KeY's maven repository.