hanfor-1.1.0

This is a stable release of the latest features:

What's Changed

• The new layout for the formalization dialog by @geerizzle in #293
• refactor of pattern config and hanlding of pattern semantics by @Langenfeld in #292
• Allow reordering of formalizations in the formalisation dialog by @geerizzle in #295
• Use Markdown rendering in all Tickets by @LSchaffner

New Contributors

• @geerizzle made their first contribution in #293

Full Changelog: v1.0.4...v1.1.0

Hanfor 1.0.4

What's Changed

• Json backend by @tkolzer in #256
• Telemetry by @tkolzer in #266
• Experimental Quickchecks by @Langenfeld in #270
• And many more...