Changelog of @hackage/tamarin-prover 0.1.1.0

  • 0.1.1.0 Bug-fix release

    • fixed: automatically create output directory, if it does not exist
    • fixed: wrong flags given in help message for starting interactive mode

  • 0.1.0.0 First public release